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

merge opam fix from opam-repo

Browse source
This commit is contained in:
Simon Cruanes 2021-03-24 15:18:52 -04:00
parent 457aa15729
commit b6ea55e7ab
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
msat-bin.opam
View file

@ -1,7 +1,7 @@
opam-version: "2.0" 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-2.0"
version: "0.9.1" version: "0.9.1"
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"]

2
msat.opam
View file

@ -1,7 +1,7 @@
opam-version: "2.0" 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-2.0"
version: "0.9.1" version: "0.9.1"
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"]