10 Commits

Author	SHA1	Message	Date
Silvan Mosberger	57bccb3cb8	treewide: http -> https sources (#42676) ... * treewide: http -> https sources This updates the source urls of all top-level packages from http to https where possible. * buildtorrent: fix url and tab -> spaces	2018-06-28 20:43:35 +02:00
Silvan Mosberger	f5fa5fa4d6	pkgs: refactor needless quoting of homepage meta attribute (#27809) ... * pkgs: refactor needless quoting of homepage meta attribute A lot of packages are needlessly quoting the homepage meta attribute (about 1400, 22%), this commit refactors all of those instances. * pkgs: Fixing some links that were wrongfully unquoted in the previous commit * Fixed some instances	2017-08-01 22:03:30 +02:00
Kirill Boltaev	e61663a233	treewide: move to ocaml-ng system	2016-09-26 02:36:49 +03:00
Tuomas Tynkkynen	21f17d69f6	treewide: Add lots of meta.platforms ... Build-tested on x86_64 Linux & Mac.	2016-08-02 21:42:43 +03:00
Russell O'Connor	4cc5f5dbb6	coq: Add csdp dependency ... The csdp program is invoked for some uses of Micromega tactics.	2015-09-10 11:50:38 -04:00
Vincent Laporte	1d72ce49cf	coq-8.3: fix (needs make 3)	2015-06-25 08:55:31 +02:00
Vincent Laporte	3d049938c8	Adds some “branch” meta-data	2014-11-06 19:40:50 +00:00
Vincent Laporte	fde68228d9	coq: setup-hook for libraries ... Adds a hook to automatically populate the $COQPATH variable. Coq libraries are expected to be installed in lib/coq/${coq-version}/user-contrib/	2014-09-28 14:03:14 +01:00
Russell O'Connor	525b8015e7	Fixing configure patch for coq 8.3.	2012-08-19 01:11:11 -04:00
Russell O'Connor	eafd2008f1	Correcting filename.	2012-08-19 01:06:15 -04:00