alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
119605 commits 217 branches 121 tags 4.5 GiB
Commit graph

87 commits

Author SHA1 Message Date
Théo Zimmermann 1ddadc6b1c coqPackages.math-classes: 1.0.6 -> 1.0.7 
This version introduces compatibility with Coq 8.7.
 2017-11-05 16:59:23 +01:00
Théo Zimmermann f4914d4eb4 bignums: init at various versions 
Bignums used to be part of the standard library of Coq.
We provide a version for Coq 8.6, and one for Coq 8.7.
 2017-11-05 16:59:23 +01:00
Maxime Dénès 51e68732f9 coqPackages.dpdgraph: remove support for coq 8.7 
coqPackages_8_7.dpdgraph won't build since Coq 8.7.0 is not yet supported
upstream.
 2017-10-30 02:02:19 +01:00
John Wiegley 79aa720020 Merge pull request #30708 from maximedenes/fix-quickchick 
coqPackages.QuickChick: remove support for coq 8.7
 2017-10-26 10:18:53 -07:00
Maxime Dénès 41df85dd1b
coqPackages.QuickChick: remove support for coq 8.7 
coqPackages_8_7.QuickChick won't build since Coq 8.7.0 is not yet supported
upstream.
 2017-10-23 22:40:29 +02:00
Vincent Laporte 4ace0daa21
coqPackages.fiat_HEAD: mark as broken with Coq ≥ 8.6 2017-10-22 20:48:18 +00:00
John Wiegley 89720d851a
coqPackages_8_7: New expression, but don't make it the default yet 2017-10-22 12:43:27 -07:00
Vincent Laporte 43ebfb5016
coqPackages.flocq: 2.5.2 -> 2.6.0 2017-10-18 23:21:37 +00:00
Langston Barrett 48a49fc12e coqPackages.HoTT: init at 20170921 2017-10-11 02:51:16 +02:00
Vladimír Čunát ef41fc7f51
Merge branch 'master' into staging 
Hydra: ?compare=1399476
 2017-10-07 10:17:42 +02:00
Vincent Laporte 5728b8d4e6 coqPackages.coquelicot: 2.1.2 -> 3.0.1 
coqPackages.interval: 3.1.1 -> 3.3.0
 2017-10-06 21:16:06 +00:00
John Ericson 531e4b80c9 misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs 
Only acts on one-line dependency lists.
 2017-09-21 15:49:53 -04:00
Vincent Laporte ebce795c5c coqPackages: remove duplication in mkCoqPackages 2017-09-04 02:39:49 +00:00
Vincent Laporte 9b9d3743ce coqPackages.QuickChick: fix 
Use the most recent versions of branches coq8.4pl6 and coq8.5-legacy
with the corresponding versions of Coq.

Use a two month old version with Coq-8.6 to avoid issue #45:
https://github.com/QuickChick/QuickChick/issues/45
 2017-09-02 15:33:16 +00:00
Vincent Laporte 6f9d84fe64 coqPackages.interval: fix URL 2017-08-11 16:29:14 +00:00
Vincent Laporte 0f94ac9296 coqPackages.autosubst: fix hash 2017-07-28 06:45:31 +00:00
John Wiegley 0bf019c99a
coqPackages_8_6.CoLoR: Fix installPhase 2017-07-18 20:22:03 -04:00
John Wiegley 006a512e8f
coqPackages_8_6.math-classes: New expression (for 8.6) 1.0.6 2017-07-18 19:12:52 -04:00
John Wiegley 53d1eb0fc6
coqPackages_8_6.CoLoR: new expression 1.3.0 2017-07-18 19:12:51 -04:00
John Wiegley 399dee93ae
coqPackages.autosubst: New expression 2017-07-10 18:35:56 -07:00
John Wiegley d40dd2c70d
coqPackages.QuickChick: 20170422 -> 20170710 2017-07-10 18:35:56 -07:00
John Wiegley e78b9a68a0
coqPackages.paco: 1.2.7 -> 1.2.8 2017-07-10 18:35:55 -07:00
rht 31b0e34d1d
Use consistent package naming for HEAD.nix files 2017-05-09 10:31:15 +07:00
John Wiegley 2df7f1b5b5
coq.QuickChick: Update to latest version that works with Coq 8.6 2017-04-23 21:53:21 -07:00
Vincent Laporte 8bfce24045 coqPackages.interval: 2.2.1 -> 3.1.1 2017-02-11 14:02:19 +01:00
Vincent Laporte dedba2a32d coqPackages.coquelicot: 2.1.1 -> 2.1.2 
keeping old 2.1.1 version for Coq-8.4,
as newer versions of the library do not support older Coq versions
 2017-02-11 14:02:19 +01:00
Vincent Laporte 5712ac6a72 coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1 2017-02-11 14:02:19 +01:00
Langston Barrett d486fb053b coqPackages.math-classes: init at 2016-06-08 2017-01-27 11:16:30 +00:00
Vincent Laporte 42bf99ef44 coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6 
by adding `findlib` as a build input.

Also clean `default.nix` a little bit.
 2017-01-25 13:06:11 +00:00
Vincent Laporte f537f842d6 coqPackages.flocq: 2.5.1 -> 2.5.2 2017-01-14 15:53:03 +01:00
Vincent Laporte 7d75dd71dc coqPackages.coq-ext-lib: 0.9.3 -> 0.9.{4,5} 2017-01-14 15:36:02 +01:00
Vincent Laporte befc29454b coqPackages.dpdgraph: 0.5 -> 0.6{,.1} 2017-01-12 21:23:18 +00:00
John Wiegley 4888bfecc2
coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect 
Addresses #14829
 2016-12-22 10:35:56 -08:00
John Wiegley a12f3d232d
coqPackages.fiat_HEAD: New package for Coq 8.4pl6 and 8.5pl2 2016-10-31 16:22:04 -07:00
Tuomas Tynkkynen bac26e08db Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
Vincent Laporte a42f845925 coq-dpdgraph: init at 0.5 2016-05-03 09:27:16 +02:00
Vincent Laporte 618b336808 coq-ext-lib: 0.9.0-beta3 -> 0.9.3 2016-04-12 19:43:49 +02:00
Robin Gloster 9afe794f5e coqPackages.contribs.Bertrand: fix hash 2016-02-08 10:10:38 +00:00
Tobias Geerinckx-Rice 32d40f0f98 Remove no longer (or never) referenced patches 
55 files changed, 6041 deletions. Tested with `nix-build -A tarball`.
 2016-01-24 02:02:21 +01:00
Vincent Laporte ca8ef0fa1d coq-interval: 2.1.0 -> 2.2.1 2016-01-06 09:35:05 +01:00
Vincent Laporte e182ddf008 coqPackages.coquelicot: init at 2.1.1 
Coquelicot is a Coq library for Reals.

Homepage: http://coquelicot.saclay.inria.fr/
 2016-01-06 09:13:38 +01:00
Vincent Laporte 2027caa875 coq-flocq: 2.5.0 -> 2.5.1 2016-01-04 23:37:40 +01:00
Vincent Laporte 3553258b1d Revert "coqPackages.flocq: 2.4.0 -> 2.5.0" 
This reverts commit db9bc6875f.

That reverted commit had introduced a wrong URL.
 2016-01-04 23:37:40 +01:00
Vincent Laporte 7462d96a65 ssreflect, mathcomp: fix build 2016-01-04 23:37:40 +01:00
John Wiegley e582c41482 coqPackages.mathcomp,ssreflect: 1.5 -> 1.6 
See the INSTALL file in the mathcomp package for instructions on
upgrading projects from 1.5 to 1.6.  The 1.6 version works with both Coq
8.4 and 8.5.
 2015-12-20 11:12:23 -08:00
John Wiegley db9bc6875f coqPackages.flocq: 2.4.0 -> 2.5.0 2015-12-16 14:10:14 -08:00
Vincent Laporte dc6b4e7fdd coq-flocq: 2.4.0 -> 2.5.0; coq-interval: 2.0.0 -> 2.1.0 2015-12-03 19:30:19 +01:00
Vincent Laporte 2bc3965bb7 coq-ext-lib: 1.0.0-beta2 -> 0.9.0-beta3 2015-11-21 04:18:14 +01:00
John Wiegley 8f97ad7b3c coqPackages.ssreflect: add ncurses as a dependency 
This is needed in the Darwin pure environment, where ncurses is not
available within the sandbox.  The exact error was:

coqmktop -coqlib `coqtop -where` -o bin/ssrcoq.byte -I +threads src/ssrmatching.cmo src/ssreflect.cmo
ld: warning: directory not found for option '-L/nix/store/wlf8pb7gz5alzbhdxwayxx0x4as3rnw8-coq-8.5b2/lib/coq/kernel/byterun'
ld: library not found for -lncurses
 2015-10-31 09:33:05 -07:00
Vincent Laporte 6a238d4b3e coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2 2015-09-27 10:24:25 +02:00