Vincent Laporte
|
c06b0edde2
|
ocamlPackages.apron: 0.9.12 → 0.9.13
|
2020-09-21 08:05:23 +02:00 |
|
Michael Reilly
|
84cf00f980
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
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 |
|