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
..
8.3.nix	treewide: http -> https sources (#42676)	2018-06-28 20:43:35 +02:00
8.4.nix	treewide: http -> https sources (#42676)	2018-06-28 20:43:35 +02:00
configure.8.3.patch	Update coq to 8.4	2012-08-19 01:01:30 -04:00
configure.patch	Update coq to 8.4	2012-08-19 01:01:30 -04:00
default.nix	Merge pull request #38969 from vbgl/coq-findlib	2018-04-20 18:02:52 -05:00
no-codesign.patch	coq_HEAD: update to latest Git HEAD	2014-08-26 16:36:50 -05:00