4 commits

Author	SHA1	Message	Date
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