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

27 commits

Author SHA1 Message Date
Cyril Cohen d16a78b512 several fixes in coq and coqPackages.mathcomp (and extras) 2019-05-21 08:55:38 +02:00
Cyril Cohen b71c308591
coqPackages: refactor mathcomp packages 
Closes #61456
 2019-05-15 14:11:21 +00:00
Vincent Laporte b72daf7117 coq: init at 8.10+β1 2019-05-15 10:30:03 +02:00
Vincent Laporte f09a13899d coqPackages.mathcomp: 1.7.0 -> 1.8.0 
coqPackages.mathcomp-finmap: 1.1.0 -> 1.2.0
coqPackages.mathcomp-analysis: 0.1.0 -> 0.2.0
 2019-04-23 09:35:38 +02:00
Jörg Thalheim 5b813ebbc4 coqPackages.ssreflect: inherit mathcomp's source/meta attributes 2018-11-06 15:00:45 +00:00
Jörg Thalheim 993bd5df22 coqPackages.mathcomp: use fetchFromGitHub 2018-11-06 13:45:14 +00:00
Théo Zimmermann 7cc369c9d5
coqPackages.ssreflect: refactor choice of source version 2018-11-05 18:11:27 +01:00
Vincent Laporte d2c38d1eef coqPackages.mathcomp: refactor 2018-11-04 20:49:38 +00:00
Théo Zimmermann 8c399bd6c1
coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc. 2018-10-19 10:25:09 +02:00
volth 52f53c69ce pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
Vincent Laporte b4d0647752 coqPackages.mathcomp: 1.6.4 -> 1.7.0 2018-05-01 11:06:04 +02:00
Vincent Laporte 6845b248d9 coq: init at 8.8+beta1 2018-03-21 18:06:28 +00:00
Vincent Laporte 5b7e3de309
coqPackages_8_4.mathcomp: remove 2017-12-02 08:49:36 +00:00
John Wiegley 462b5e0d21
coqPackages.mathcomp: 1.6.1 -> 1.6.4, for Coq versions 8.6 and 8.7 2017-11-11 09:44:55 -08:00
Tim Steinbach 198fd526ca
Revert "coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4" 2017-11-07 17:15:09 +00:00
Maxime Dénès 5a43ac2c60
coqPackages.mathcomp: 1.6.1 -> 1.6.4 2017-11-07 13:26:10 +01:00
Vincent Laporte 5712ac6a72 coqPackages.{ssreflect,mathcomp}: 1.6 -> 1.6.1 2017-02-11 14:02:19 +01: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
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
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
Vincent Laporte cd3a7d5be6 ssreflect, mathcomp: better package names 2015-06-19 18:11:33 +02:00
Vincent Laporte 01571ab2d7 coq-mathcomp: refactor 2015-06-19 18:11:33 +02:00
Vincent Laporte 0f6b981fba coq-mathcomp: also build and install the documentation 2015-06-19 18:11:33 +02:00
John Wiegley 9402a56620 coq_8_5: New expression 2015-04-26 22:29:15 -05:00
John Wiegley f78f2a90d6 coqPackages.ssreflect, more: build ssrcoq binary, add maintainer 2014-10-13 16:11:33 -05:00
Vincent Laporte c30c5f7cf3 Adds three coq libraries: containers, mathcomp, ssreflect 
Containers is a reimplementation of the FSets/FMaps library from the
standard library, using typeclasses.

Homepage: http://coq.inria.fr/pylons/pylons/contribs/view/Containers/v8.4

The Mathematical Components (mathcomp) contains advanced theory files
covering a wide spectrum of mathematics.

Homepage: http://ssr.msr-inria.inria.fr/

Ssreflect is a proof language (plugin for Coq) and a small set of core
theory libraries about boolean, natural numbers, sequences, decidable
equality and finite types.

Homepage: http://ssr.msr-inria.inria.fr/
 2014-09-28 14:03:15 +01:00