12 Commits

Author	SHA1	Message	Date
Pierre Roux	971ef0c694	coq_8_20: init at 8.20+rc1 (#323105)	2024-06-28 15:47:38 +02:00
Léo Stefanesco	1e9759cb37	coqPackages.coq-record-update: 0.3.3 -> 0.3.4	2024-05-06 14:15:24 +02:00
Léo Stefanesco	07fbc0bb0f	coqPackages.coq-record-update: 0.3.1 -> 0.3.3	2024-02-22 08:37:15 +01:00
Pierre Roux	7c0435d86d	Bump a few things compiling with Coq 8.19	2023-12-19 20:20:53 +01:00
Vincent Laporte	02643fe422	coq_8_18: init at 8.18+rc1	2023-09-04 10:02:59 +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
Artturin	f4ea1208ec	treewide: *Flags convert to list from str ... *Flags implies a list slightly relevant: > stdenv: start deprecating non-list configureFlags https://github.com/NixOS/nixpkgs/pull/173172 the makeInstalledTests function in `nixos/tests/installed-tests/default.nix` isn't available outside of nixpkgs so it's not a breaking change	2022-10-10 15:30:59 +03:00
Vincent Laporte	e54bfd3ed3	coqPackages.coq-record-update: 0.3.0 → 0.3.1	2022-08-18 10:50:56 +02:00
Vincent Laporte	e488c3e834	coqPackages.coq-record-update: enable for Coq 8.16	2022-06-13 11:29:20 +02:00
Théo Zimmermann	ec85449f80	coqPackages.coq-record-update: mark as compatible with Coq 8.15	2022-01-25 15:24:08 +01:00
Léo Stefanesco	7c52900af1	coqPackages.coq-record-update: init	2021-11-25 17:20:16 +00:00