| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | ocamlPackages.apron: init at 20160125 | Vincent Laporte | 2017-01-14 |
| APRON is an OCaml library of numerical abstract domains Homepage: http://apron.cri.ensmp.fr/library/ | |||
| index : nixlib | |
| Alyssa's collection of Nix expressions | Alyssa Ross |
| about summary refs log tree commit diff |
| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | ocamlPackages.apron: init at 20160125 | Vincent Laporte | 2017-01-14 |
| APRON is an OCaml library of numerical abstract domains Homepage: http://apron.cri.ensmp.fr/library/ | |||