simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-12 22:10:53 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

prepare for 0.8.3

Browse source
This commit is contained in:
Simon Cruanes 2020-09-09 15:39:52 -04:00
parent 9ef84f1df3
commit 4bce0f32d4
3 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
CHANGELOG.md
View file

@ -1,5 +1,9 @@
# CHANGES # CHANGES
## 0.8.3
- support containers 3.0
## 0.8.2 ## 0.8.2
- fix opam file - fix opam file

4
msat-bin.opam
View file

@ -2,7 +2,7 @@ opam-version: "2.0"
name: "msat-bin" name: "msat-bin"
synopsis: "SAT solver binary based on the msat library" synopsis: "SAT solver binary based on the msat library"
license: "Apache" license: "Apache"
version: "0.8.2" version: "0.8.3"
author: ["Simon Cruanes" "Guillaume Bury"] author: ["Simon Cruanes" "Guillaume Bury"]
maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"] maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
build: [ build: [
@ -13,7 +13,7 @@ depends: [
"ocaml" { >= "4.03" } "ocaml" { >= "4.03" }
"dune" { >= "1.1" } "dune" { >= "1.1" }
"msat" { = version } "msat" { = version }
"containers" { >= "2.8.1" } "containers" { >= "2.8.1" & < "4.0" }
"camlzip" "camlzip"
] ]
tags: [ "sat" ] tags: [ "sat" ]

2
msat.opam
View file

@ -2,7 +2,7 @@ opam-version: "2.0"
name: "msat" name: "msat"
synopsis: "Library containing a SAT solver that can be parametrized by a theory" synopsis: "Library containing a SAT solver that can be parametrized by a theory"
license: "Apache" license: "Apache"
version: "0.8.2" version: "0.8.3"
author: ["Simon Cruanes" "Guillaume Bury"] author: ["Simon Cruanes" "Guillaume Bury"]
maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"] maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
build: [ build: [