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

prepare for 0.8

Browse source
This commit is contained in:
Simon Cruanes 2019-03-10 11:36:01 -05:00
parent fb219fb415
commit 47a7142a3c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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: "dev" version: "0.8"
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: [