Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | ocamlPackages.apron: split into multiple outputs | Vincent Laporte | 2020-11-06 | 1 | -2/+15 |
| | |||||
* | ocamlPackages.apron: 0.9.12 → 0.9.13 | Vincent Laporte | 2020-09-21 | 1 | -2/+2 |
| | |||||
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 | 1 | -1/+1 |
| | |||||
* | ocamlPackages.apron: 2016-01-25 → 0.9.12 | Vincent Laporte | 2020-02-10 | 1 | -6/+8 |
| | |||||
* | ocamlPackages.apron: init at 20160125 | Vincent Laporte | 2017-01-14 | 1 | -0/+24 |
APRON is an OCaml library of numerical abstract domains Homepage: http://apron.cri.ensmp.fr/library/ |