First release

This commit is contained in:
Guillaume Bury 2015-03-03 17:22:49 +01:00
parent f6fbd874ec
commit 51a74c6505

2
opam
View file

@ -1,6 +1,6 @@
opam-version: "1.2" opam-version: "1.2"
license: "Apache" license: "Apache"
version: "0.1" version: "1.0"
author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"] author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]
maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"] maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"]
build: [ build: [