| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2016-10-05 | treewide: use ocaml.version (#19192) | Kirill Boltaev | 1 | -5/+3 |
| 2015-04-30 | meta.description fixups | Joachim Fasting | 1 | -1/+1 |
| 2014-07-28 | Turn some license strings into lib.licenses values | Mateusz Kowalczyk | 1 | -1/+1 |
| 2010-12-31 | Matita and its dependencies. | Russell O'Connor | 2 | -0/+54 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |