Cyril Cohen d113661156 coqPackages: etc ... - put `findlib` in `buildInputs` of `mkCoqDerivation` to make sure `coq` packages find their ocaml plugin dependencies, - use `propagatedBuildInputs` to make sure ocaml plugin dependencies are 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`		2022-05-25 20:00:25 +02:00
..
astronomy	stellarium: 0.22.0 -> 0.22.1	2022-04-23 23:46:33 +02:00
biology	Merge pull request #174036 from trofi/workaround-fno-common-for-paml	2022-05-25 00:35:00 +02:00
chemistry	chemtool: add -fcommon workaround	2022-05-13 21:30:28 +01:00
computer-architecture/qtrvsim	QtRVSim: 0.9.2 -> 0.9.3	2022-04-25 14:38:39 +03:00
electronics	alliance: unstable-2021-09-15 -> unstable-2022-01-13	2022-05-13 17:18:09 -05:00
engineering/brmodelo	brmodelo: init at 3.31	2022-04-08 11:45:42 -03:00
geometry
logic	coqPackages: etc	2022-05-25 20:00:25 +02:00
machine-learning	treewide: add meta.mainProgram to many packages	2022-04-14 10:24:01 -07:00
math	Merge pull request #173402 from imsofi/update/geogebra	2022-05-22 16:14:06 +02:00
medicine	xmedcon: 0.21.2 -> 0.22.0	2022-04-10 05:36:08 +00:00
misc	Merge pull request #173416 from r-ryantm/auto-update/snakemake	2022-05-17 20:39:48 +02:00
molecular-dynamics	gromacs: 2022 -> 2022.1	2022-04-25 11:09:40 +00:00
networking/sumo
physics	Merge pull request #147486 from pmiddend/crystfel-init	2022-05-20 15:01:53 +02:00
programming
robotics	qgroundcontrol: 4.2.0 -> 4.2.1	2022-05-21 20:51:32 -04:00