about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
AgeCommit message (Expand)AuthorFilesLines
2019-03-29coqPackages.coqhammer: init at 1.1Vincent Laporte1-0/+55
2019-03-18coqPackages.contribs.containers: enable for Coq 8.9Vincent Laporte1-2/+9
2019-03-18coqPackages.coq-simple-io: 0.2 -> 1.0.0Vincent Laporte2-8/+10
2019-03-15coqPackages.coq-ext-lib: 0.10.0 -> 0.10.1Vincent Laporte1-1/+1
2019-03-12coqPackages.contribs.zorns-lemma: 8.6.0 -> 8.9.0Théo Zimmermann1-4/+4
2019-02-18coqPackages.mathcomp-analysis: enable for Coq 8.9Vincent Laporte3-5/+5
2019-02-17coqPackages.paramcoq: init at 1.1.1Vincent Laporte1-0/+48
2019-02-15coqPackages.flocq: 3.0.0 -> 3.1.0Vincent Laporte1-4/+4
2019-02-15coqPackages.interval: 3.3.0 -> 3.4.0Vincent Laporte1-4/+16
2019-02-15coqPackages.coquelicot: 3.0.1 -> 3.0.2Vincent Laporte1-4/+4
2019-02-09coqPackages.mathcomp-analysis: init at 0.1.0Vincent Laporte1-0/+30
2019-02-09coqPackages.mathcomp-finmap: init at 1.1.0Vincent Laporte1-0/+29
2019-02-09coqPackages.mathcomp-bigenough: init at 1.0.0Vincent Laporte1-0/+29
2019-02-08coqPackages_8_9: disable a few packages that do not buildVincent Laporte3-3/+3
2019-02-01Revert "coq-modules: add default to fix eval"Vincent Laporte7-7/+7
2019-01-31coqPackages.equations: 1.2-beta-8.9 for coq_8_9John Wiegley1-0/+6
2019-01-30coqPackages.coq-extensible-records: init at 1.2.0Valentin Robert1-0/+32
2019-01-28coq-modules: add default to fix evalMatthew Bauer7-7/+7
2019-01-23coqPackages.flocq: 2.6.0 -> {2.6.1, 3.0.0}Vincent Laporte1-6/+23
2019-01-18coqPackages.QuickChick: init at 1.0.2 for Coq 8.8Vincent Laporte1-3/+16
2019-01-11coqPackages.category-theory: bound build parallelismVincent Laporte1-1/+1
2018-12-21coqPackages.Verdi: fix buildVincent Laporte1-28/+8
2018-12-21coqPackages.InfSeqExt: fix buildVincent Laporte1-34/+7
2018-12-21coqPackages.Cheerios: fix buildVincent Laporte1-27/+7
2018-12-21coqPackages.StructTact: fix buildVincent Laporte1-33/+6
2018-12-20coqPackages.coqprime: enable for Coq 8.9Vincent Laporte1-4/+7
2018-12-10coqPackages.simple-io: init at 0.2Vincent Laporte1-0/+32
2018-12-10coqPackages_8_9.coq-ext-lib: init at 0.10.0Vincent Laporte1-0/+1
2018-12-10coqPackages.corn: init at 8.8.1Vincent Laporte1-0/+38
2018-12-03coqPackages.math-classes: 1.0.7 -> 8.8.1Vincent Laporte1-3/+3
2018-11-20coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, VerdiJohn Wiegley4-0/+220
2018-11-19coqPackages.bignums: enable for Coq version 8.9Vincent Laporte1-4/+7
2018-11-06Merge pull request #49780 from Zimmi48/give-default-version-of-ssreflectJörg Thalheim2-66/+32
2018-11-06coqPackages.ssreflect: inherit mathcomp's source/meta attributesJörg Thalheim2-39/+15
2018-11-06coqPackages.mathcomp: use fetchFromGitHubJörg Thalheim1-5/+7
2018-11-06coqPackages_8_5.fiat_HEAD: fix buildVincent Laporte1-2/+3
2018-11-05coqPackages.ssreflect: refactor choice of source versionThéo Zimmermann2-34/+22
2018-11-05coqPackages.autosubst: fix buildVincent Laporte1-0/+1
2018-11-04coqPackages.ssreflect: refactorVincent Laporte2-54/+42
2018-11-04coqPackages.mathcomp: refactorVincent Laporte2-47/+41
2018-11-02coqPackages.contribs.zfc: enable for Coq 8.8Vincent Laporte1-1/+1
2018-10-24coqPackages.category-theory: fix buildVincent Laporte1-15/+19
2018-10-23coqPackages.Velisarios: New expressionJohn Wiegley1-0/+50
2018-10-19coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.Théo Zimmermann15-17/+17
2018-10-10Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27"John Wiegley1-8/+7
2018-10-05Merge pull request #47589 from vbgl/coq-coqprime-initMatthew Bauer1-0/+46
2018-10-04coqPackages.coq-haskell: Support building with Coq 8.8John Wiegley1-0/+6
2018-10-01coqPackages.coqprime: init at 8.7.2 & 8.8Vincent Laporte1-0/+46
2018-09-08treewide: Use http/https for homepagesJanne Heß3-3/+3
2018-08-13Merge branch 'master' into staging-nextVladimír Čunát1-1/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-06 02:29:17 +0000