Pierre Roux
c683a77656
coq_9_0: init at 9.0+rc1
2025-01-26 16:32:07 +01:00
Vincent Laporte
4f6ebaa6cd
coqPackages.paco: 4.2.0 → 4.2.2
2025-01-16 21:03:23 +01:00
Pierre Roux
629830c8ff
Add coqPackages.stdlib
2024-12-13 11:42:53 +01:00
Silvan Mosberger
4f0dadbf38
treewide: format all inactive Nix files
...
After final improvements to the official formatter implementation,
this commit now performs the first treewide reformat of Nix files using it.
This is part of the implementation of RFC 166.
Only "inactive" files are reformatted, meaning only files that
aren't being touched by any PR with activity in the past 2 months.
This is to avoid conflicts for PRs that might soon be merged.
Later we can do a full treewide reformat to get the rest,
which should not cause as many conflicts.
A CI check has already been running for some time to ensure that new and
already-formatted files are formatted, so the files being reformatted here
should also stay formatted.
This commit was automatically created and can be verified using
nix-build a08b3a4d19b32a094368
2024-12-10 20:26:33 +01:00
Pierre Roux
971ef0c694
coq_8_20: init at 8.20+rc1 ( #323105 )
2024-06-28 15:47:38 +02:00
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
Pierre Roux
b57a1c6934
coqPackages_8_19.paco
2024-01-26 19:35:30 +01:00
Vincent Laporte
02643fe422
coq_8_18: init at 8.18+rc1
2023-09-04 10:02:59 +02:00
Vincent Laporte
84821b9769
coqPackages.paco: 4.1.2 → 4.2.0
2023-08-03 04:30:34 +02:00
Vincent Laporte
265f0cae75
coqPackages.paco: enable for Coq 8.17
2023-03-15 09:14:01 +01:00
Weijia Wang
8ff706bad2
Merge pull request #212009 from Shawn8901/remove_with_lib_2
...
treewide: remove global with lib; statements in pkgs/coq-modules
2023-01-24 01:39:55 +01:00
Ferry Jérémie
65d7e87fdb
treewide: replace http by https when https is a permanent redirection
2023-01-22 02:46:49 +01:00
Shawn8901
4dcb03a5c3
treewide: remove global with lib; statements in pkgs/coq-modules
2023-01-21 23:19:48 +01:00
Vincent Laporte
b8e366f1a4
coqPackages.paco: enable for Coq 8.16
2022-06-13 11:29:20 +02:00
Vincent Laporte
3f4f5ee591
coqPackages.paco: 4.1.1 → 4.1.2
2021-12-22 19:10:10 +01:00
Léo Stefanesco
f127992f86
coqPackages.paco: 4.0.2 -> 4.1.1
2021-11-25 18:48:21 +01:00
Théo Zimmermann
3437b543fd
coq_8_14: init at 8.14+rc1
2021-10-13 10:44:09 +02:00
Cyril Cohen
9ffd16b385
coqPackages: refactor
2021-01-09 11:56:17 +01:00
Vincent Laporte
423dd60f07
coqPackages.paco: 4.0.0 → 4.0.2
2020-10-12 09:41:45 +02:00
Vincent Laporte
7f797b9521
coqPackages.paco: enable for Coq 8.12
2020-09-10 22:10:02 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Vincent Laporte
b01052f138
coqPackages.paco: enable for Coq 8.10 and 8.11
2020-03-04 07:12:02 +01:00
Valentin Robert
ea8e3f5979
coqPackages.paco: 1.2.8 -> 4.0.0
2019-11-08 09:41:30 +00:00
Théo Zimmermann
8c399bd6c1
coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.
2018-10-19 10:25:09 +02:00
Vincent Laporte
6845b248d9
coq: init at 8.8+beta1
2018-03-21 18:06:28 +00:00
John Wiegley
e78b9a68a0
coqPackages.paco: 1.2.7 -> 1.2.8
2017-07-10 18:35:55 -07:00
Joachim Fasting
bf7ad2d84f
meta.description fixups
...
Mostly scripted substitutions with a couple of subjective enhancements.
2015-04-30 18:17:42 +02:00
John Wiegley
904bee0c46
coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions
2014-10-11 17:24:59 -05:00
