Alexis Hildebrandt
|
755b915a15
|
treewide: Remove indefinite article from meta.description
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \
| xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'
|
2024-06-09 23:07:45 +02:00 |
|
Cyril Cohen
|
18e59521cd
|
coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 (#280269)
* coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0
* removing trakt for 8.18 for now at least
|
2024-01-12 07:07:15 +01:00 |
|
Vincent Laporte
|
02643fe422
|
coq_8_18: init at 8.18+rc1
|
2023-09-04 10:02:59 +02:00 |
|
Théo Zimmermann
|
4a5e022304
|
coqPackages.trakt: fix documented license
|
2023-07-27 08:37:02 +02:00 |
|
Théo Zimmermann
|
53ef5765ad
|
coqPackages.trakt: add recent versions
|
2023-07-27 08:37:02 +02:00 |
|
Vincent Laporte
|
0697e32ae1
|
coqPackages_8_17: enable a few packages for Coq 8.17
|
2023-04-13 14:23:14 +02:00 |
|
Shawn8901
|
4dcb03a5c3
|
treewide: remove global with lib; statements in pkgs/coq-modules
|
2023-01-21 23:19:48 +01:00 |
|
Vincent Laporte
|
557f5ee714
|
coqPackages.trakt: enable for Coq 8.16
|
2022-09-08 18:05:52 +02:00 |
|
Vincent Laporte
|
61d8986385
|
coqPackages.{hierarchy-builder,trakt}: disable for Coq ≥ 8.16
They depend on elpi (not yet available in nixpkgs)
|
2022-06-13 11:29:20 +02:00 |
|
Ben Siraphob
|
8566253746
|
coqPackages.trakt: init at 1.0
|
2022-04-13 19:38:00 -05:00 |
|