aboutsummaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules (follow)
Commit message (Expand)AuthorAgeFilesLines
* treewide: remove redundant quotesvolth2019-09-082-7/+7
* Merge branch 'master' into staging-nextJan Tojnar2019-09-062-15/+22
|\
| * coqPackages.stdpp: 1.1 -> 1.2.1; coqPackages.iris: 3.1.0 -> 3.2.0Vincent Laporte2019-09-062-15/+22
* | treewide: remove redundant recvolth2019-08-2810-12/+12
* | treewide: remove redundant quotesvolth2019-08-2616-24/+24
|/
* coqPackages.interval: 3.4.0 -> 3.4.1Vincent Laporte2019-08-121-5/+5
* elpi: 1.4.1 -> 1.6.0, and coq-elpiCyril Cohen2019-08-091-0/+38
* coqPackages.flocq: fetch sources from gitlabVincent Laporte2019-08-051-7/+5
* coqPackages.flocq: 3.1.0 -> 3.2.0Vincent Laporte2019-08-051-4/+4
* coqPackages.coquelicot: 3.0.2 -> 3.0.3Vincent Laporte2019-08-031-4/+17
* coqPackages.equations: 1.2beta2 -> 1.2 (#65281)Vincent Laporte2019-07-232-11/+18
* coqPackages.math-classes: 8.8.1 -> 8.9.1Théo Zimmermann2019-07-221-3/+3
* coqPackages: fix + add multinomials 1.3 + coqeal 1.0.0Cyril Cohen2019-07-022-25/+59
* coqPackages.gappalib: disable for Coq 8.10Vincent Laporte2019-06-271-1/+1
* coqPackages.gappalib: init at 1.4.1Vincent Laporte2019-06-191-0/+30
* coqPackages.coqprime: enable for Coq 8.10Vincent Laporte2019-06-181-0/+1
* coqPackages.bignums: enable for Coq 8.10Vincent Laporte2019-06-181-0/+4
* treewide: remove unused variables (#63177)volth2019-06-162-2/+2
* coqPackages.simple-io: 1.0.0 -> 1.2.0Vincent Laporte2019-06-061-2/+2
* coqPackages.QuickChick: init at 1.1.0 for Coq 8.9Vincent Laporte2019-06-061-12/+15
* coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closedCyril Cohen2019-06-032-21/+73
* updating packages coqPackages.bignums and coqPackages.equationsCyril Cohen2019-05-232-25/+25
* coqPackages.ltac2: init at 0.1Vincent Laporte2019-05-231-0/+49
* several fixes in coq and coqPackages.mathcomp (and extras)Cyril Cohen2019-05-212-12/+12
* coqPackages: refactor mathcomp packagesCyril Cohen2019-05-156-186/+273
* coq: init at 8.10+β1Vincent Laporte2019-05-157-7/+7
* coqPackages.Verdi: 20181102 -> 20190202Vincent Laporte2019-04-251-0/+5
* coqPackages.tlc: 20180316 -> 20181116Vincent Laporte2019-04-241-2/+2
* coqPackages.mathcomp: 1.7.0 -> 1.8.0Vincent Laporte2019-04-233-5/+21
* coqPackages.coqhammer: init at 1.1Vincent Laporte2019-03-291-0/+55
* coqPackages.contribs.containers: enable for Coq 8.9Vincent Laporte2019-03-181-2/+9
* coqPackages.coq-simple-io: 0.2 -> 1.0.0Vincent Laporte2019-03-182-8/+10
* coqPackages.coq-ext-lib: 0.10.0 -> 0.10.1Vincent Laporte2019-03-151-1/+1
* coqPackages.contribs.zorns-lemma: 8.6.0 -> 8.9.0Théo Zimmermann2019-03-121-4/+4
* coqPackages.mathcomp-analysis: enable for Coq 8.9Vincent Laporte2019-02-183-5/+5
* coqPackages.paramcoq: init at 1.1.1Vincent Laporte2019-02-171-0/+48
* coqPackages.flocq: 3.0.0 -> 3.1.0Vincent Laporte2019-02-151-4/+4
* coqPackages.interval: 3.3.0 -> 3.4.0Vincent Laporte2019-02-151-4/+16
* coqPackages.coquelicot: 3.0.1 -> 3.0.2Vincent Laporte2019-02-151-4/+4
* coqPackages.mathcomp-analysis: init at 0.1.0Vincent Laporte2019-02-091-0/+30
* coqPackages.mathcomp-finmap: init at 1.1.0Vincent Laporte2019-02-091-0/+29
* coqPackages.mathcomp-bigenough: init at 1.0.0Vincent Laporte2019-02-091-0/+29
* coqPackages_8_9: disable a few packages that do not buildVincent Laporte2019-02-083-3/+3
* Revert "coq-modules: add default to fix eval"Vincent Laporte2019-02-017-7/+7
* coqPackages.equations: 1.2-beta-8.9 for coq_8_9John Wiegley2019-01-311-0/+6
* coqPackages.coq-extensible-records: init at 1.2.0Valentin Robert2019-01-301-0/+32
* coq-modules: add default to fix evalMatthew Bauer2019-01-287-7/+7
* coqPackages.flocq: 2.6.0 -> {2.6.1, 3.0.0}Vincent Laporte2019-01-231-6/+23
* coqPackages.QuickChick: init at 1.0.2 for Coq 8.8Vincent Laporte2019-01-181-3/+16
* coqPackages.category-theory: bound build parallelismVincent Laporte2019-01-111-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-26 18:29:03 +0000