Commit Graph

2 Commits

Author SHA1 Message Date
Vincent Laporte
30fada894e ocamlPackages.apron: 2016-01-25 → 0.9.12 2020-02-10 07:36:54 +01:00
Vincent Laporte
67a5833330 ocamlPackages.apron: init at 20160125
APRON is an OCaml library of numerical abstract domains

Homepage: http://apron.cri.ensmp.fr/library/
2017-01-14 09:34:34 +00:00