14 Commits (c560c27d5fc8c0733be3bd7048662b2089fbd7a9)

Author	SHA1	Message	Date
Vincent Laporte	1f11888116	Revert "coqPackages: etc" ... This reverts commit 7e589a45ef.	2 years ago
Cyril Cohen	7e589a45ef	coqPackages: etc ... - use propagatedBuildInputs to make sure ocaml plugin stuff is in path - updated coqPackage.heq (broken url) - fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation - adding `COQCORELIB` environement variable to put ocaml plugin files in the right place - make metaFetch available from `coqPackages`	2 years ago
Pierre Roux	2768c9d4cb	Adapt to Coq 8.15 and MathCOmp 1.14	2 years ago
Vincent Laporte	edd5950d12	coqPackages.coqeal: disable for Coq 8.15	2 years ago
Pierre Roux	aeb8fae646	coqPackages.coqeal: 1.0.6 -> 1.1.0	3 years ago
Pierre Roux	3e66c4013f	coqPackages.coqeal: master, add dependency ... In order to include matrix normal forms in CoqEAL (https://github.com/coq-community/coqeal/pull/54) we add a dependency to mathcomp-real-closed.	3 years ago
Cyril Cohen	c5c34f6be1	coqPackages.mathcomp: 1.12.0 -> 1.13.0	3 years ago
Vincent Laporte	49a6254362	coqPackages.coqeal: 1.0.5 → 1.0.6	3 years ago
Vincent Laporte	cc6e48c8ba	coqPackages.coqeal: 1.0.4 → 1.0.5	3 years ago
Cyril Cohen	9ffd16b385	coqPackages: refactor	3 years ago
Vincent Laporte	5add451ee3	coqPackages_8_4.coqeal: remove	7 years ago
Tuomas Tynkkynen	bac26e08db	Fix lots of fetchgit hashes (fallout from #15469)	8 years ago
Vincent Laporte	dfbef0d770	coq-coqeal: fix installation	9 years ago
John Wiegley	e5d92d45b7	coqPackages.coqeal: new expression	10 years ago