Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: stdenv.lib -> lib | Ben Siraphob | 2021-01-16 |
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | abella: 2.0.5 -> 2.0.6 | Simon Lackerbauer | 2019-01-08 |
* | abella: 2.0.4 -> 2.0.5 | Ben Darwin | 2018-04-04 |
* | abella: 2.0.2 -> 2.0.4 | Simon Lackerbauer | 2017-10-16 |
* | abella: fix build with OCaml ≥ 4.03 | Vincent Laporte | 2017-09-22 |
* | new package: abella 2.0.2 | Ben Darwin | 2015-03-24 |