| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-10-13 | coq2html: 1.2 → 1.3 | Vincent Laporte |
| 2021-05-09 | coq2html: 20170720 -> 1.2 | Ben Siraphob |
| 2021-01-11 | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch |
| 2020-10-27 | treewide: remove package names from prefix of descriptions | Ben Siraphob |
| 2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly |
| 2019-08-17 | treewide: name -> pname | volth |
| 2018-11-15 | coq2html: switch to default make | Piotr Bogdan |
| 2018-07-21 | pkgs/*: remove unreferenced function arguments | volth |
| 2017-08-01 | coq2html: New expression | John Wiegley |
| 2017-07-20 | Revert "coq2html: New expression" | Franz Pletz |
| 2017-07-20 | coq2html: New expression | John Wiegley |
 |
index : nixpkgs | |
| Contrib clone of nixpkgs | matthias |
| summaryrefslogtreecommitdiffstats |