4 Commits

Author	SHA1	Message	Date
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