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

META file

Browse source
This commit is contained in:
Simon Cruanes 2014-03-06 11:10:06 +01:00
parent c2d379de10
commit d81b6bd2bc
2 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.gitignore vendored
View file

@ -7,6 +7,7 @@
*.cmxs *.cmxs
*.o *.o
*.a *.a
*.native
*.log *.log
*.status *.status
Makefile Makefile

6
META Normal file
View file

@ -0,0 +1,6 @@
name="aez"
version="0.3"
description="Alt-Ergo Zero is an OCaml library for an SMT solver."
requires="num unix"
archive(byte) = "aez.cma"
archive(native) = "aez.cmxa"