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

Added package name to opam file

Browse source
This commit is contained in:
Guillaume Bury 2015-11-30 15:49:53 +01:00
parent 3f1d9fead6
commit 9f421e6b1d
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
opam
View file

@ -1,4 +1,5 @@
opam-version: "1.2"
name:"msat"
license: "Apache"
version: "dev"
author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]