8 Commits

Author	SHA1	Message	Date
Shawn8901	4dcb03a5c3	treewide: remove global with lib; statements in pkgs/coq-modules	2023-01-21 23:19:48 +01:00
Vincent Laporte	a2c917865f	coqPackages.mathcomp-word: 1.1 → 2.0	2022-10-05 13:38:03 +02:00
Théo Zimmermann	2dc3552aa1	coqPackages.mkCoqDerivation: upgrade to Dune 3 ... And remove the version number from the corresponding attributes.	2022-10-02 14:42:28 +02:00
Vincent Laporte	2611f23722	coqPackages.mathcomp-word: enable for Coq 8.16	2022-09-08 18:06:24 +02:00
Vincent Laporte	68322e1297	coqPackages.mathcomp-word: 1.0 → 1.1	2022-04-26 13:11:29 +02:00
Ulrik Strid	7e20e9039e	coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true ... Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>	2022-02-25 07:54:17 +01:00
Cyril Cohen	dffe2434ae	coqPackages.mathcomp: 1.13.0 -> 1.14.0	2022-02-02 08:56:55 +01:00
Vincent Laporte	e99619604d	coqPackages.mathcomp-word: init at 1.0	2021-12-24 11:59:00 +01:00