index
:
libkookie
master
rebuild
🍍 Things that make my computers more sad than other people's computers
Katharina Fey
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
coq-modules
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
coqPackages.Verdi: fix build
Vincent Laporte
2018-12-21
1
-28
/
+8
*
coqPackages.InfSeqExt: fix build
Vincent Laporte
2018-12-21
1
-34
/
+7
*
coqPackages.Cheerios: fix build
Vincent Laporte
2018-12-21
1
-27
/
+7
*
coqPackages.StructTact: fix build
Vincent Laporte
2018-12-21
1
-33
/
+6
*
coqPackages.coqprime: enable for Coq 8.9
Vincent Laporte
2018-12-20
1
-4
/
+7
*
coqPackages.simple-io: init at 0.2
Vincent Laporte
2018-12-10
1
-0
/
+32
*
coqPackages_8_9.coq-ext-lib: init at 0.10.0
Vincent Laporte
2018-12-10
1
-0
/
+1
*
coqPackages.corn: init at 8.8.1
Vincent Laporte
2018-12-10
1
-0
/
+38
*
coqPackages.math-classes: 1.0.7 -> 8.8.1
Vincent Laporte
2018-12-03
1
-3
/
+3
*
coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi
John Wiegley
2018-11-20
4
-0
/
+220
*
coqPackages.bignums: enable for Coq version 8.9
Vincent Laporte
2018-11-19
1
-4
/
+7
*
Merge pull request #49780 from Zimmi48/give-default-version-of-ssreflect
Jörg Thalheim
2018-11-06
2
-66
/
+32
|
\
|
*
coqPackages.ssreflect: inherit mathcomp's source/meta attributes
Jörg Thalheim
2018-11-06
2
-39
/
+15
|
*
coqPackages.mathcomp: use fetchFromGitHub
Jörg Thalheim
2018-11-06
1
-5
/
+7
|
*
coqPackages.ssreflect: refactor choice of source version
Théo Zimmermann
2018-11-05
2
-34
/
+22
*
|
coqPackages_8_5.fiat_HEAD: fix build
Vincent Laporte
2018-11-06
1
-2
/
+3
|
/
*
coqPackages.autosubst: fix build
Vincent Laporte
2018-11-05
1
-0
/
+1
*
coqPackages.ssreflect: refactor
Vincent Laporte
2018-11-04
2
-54
/
+42
*
coqPackages.mathcomp: refactor
Vincent Laporte
2018-11-04
2
-47
/
+41
*
coqPackages.contribs.zfc: enable for Coq 8.8
Vincent Laporte
2018-11-02
1
-1
/
+1
*
coqPackages.category-theory: fix build
Vincent Laporte
2018-10-24
1
-15
/
+19
*
coqPackages.Velisarios: New expression
John Wiegley
2018-10-23
1
-0
/
+50
*
coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc.
Théo Zimmermann
2018-10-19
15
-17
/
+17
*
Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27"
John Wiegley
2018-10-10
1
-8
/
+7
*
Merge pull request #47589 from vbgl/coq-coqprime-init
Matthew Bauer
2018-10-05
1
-0
/
+46
|
\
|
*
coqPackages.coqprime: init at 8.7.2 & 8.8
Vincent Laporte
2018-10-01
1
-0
/
+46
*
|
coqPackages.coq-haskell: Support building with Coq 8.8
John Wiegley
2018-10-04
1
-0
/
+6
|
/
*
treewide: Use http/https for homepages
Janne Heß
2018-09-08
3
-3
/
+3
*
Merge branch 'master' into staging-next
Vladimír Čunát
2018-08-13
1
-1
/
+2
|
\
|
*
coqPackages.coq-ext-lib: 0.9.5 -> {0.9.7,0.9.8}
Vincent Laporte
2018-08-08
1
-1
/
+2
*
|
treewide: Make configureFlags lists
John Ericson
2018-08-03
1
-1
/
+1
|
/
*
coqPackages.category-theory: revert "Add equations as a buildInput"
Peter Simons
2018-07-28
1
-1
/
+1
*
coqPackages.category-theory: Add equations as a buildInput
John Wiegley
2018-07-27
1
-1
/
+1
*
coqPackages.category-theory: Update to Git version as of 20180709
John Wiegley
2018-07-27
1
-6
/
+6
*
pkgs/*: remove unreferenced function arguments
volth
2018-07-21
2
-2
/
+2
*
coqPackages.equations: enable for Coq 8.8
Vincent Laporte
2018-07-08
1
-7
/
+7
*
coqPackages.equations: Add support for Coq 8.8
John Wiegley
2018-07-05
1
-0
/
+6
*
coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351)
Vincent Laporte
2018-06-01
1
-5
/
+12
*
coqPackages.tlc: 20171206 -> 20180316 (#40927)
Vincent Laporte
2018-05-22
1
-2
/
+2
*
coqPackages.iris: init at 3.1.0 (#40909)
Vincent Laporte
2018-05-22
1
-0
/
+30
*
coqPackages.stdpp: init at 1.1
Vincent Laporte
2018-05-15
1
-0
/
+28
*
coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8
Vincent Laporte
2018-05-09
1
-0
/
+5
*
Merge pull request #39469 from vbgl/coq-contribs-containers-8.8
Matthew Justin Bauer
2018-05-01
1
-1
/
+6
|
\
|
*
coqPackages.contribs.containers: make available for Coq 8.8
Vincent Laporte
2018-04-25
1
-1
/
+6
*
|
coqPackages.mathcomp: 1.6.4 -> 1.7.0
Vincent Laporte
2018-05-01
7
-33
/
+41
|
/
*
coqPackages.bignums: make it available for Coq 8.8
Vincent Laporte
2018-03-27
1
-3
/
+4
*
Merge pull request #37591 from vbgl/coq-88beta1
John Wiegley
2018-03-23
13
-13
/
+58
|
\
|
*
coq: init at 8.8+beta1
Vincent Laporte
2018-03-21
13
-13
/
+58
*
|
coqPackages.contribs.containers: make available for Coq 8.7
Vincent Laporte
2018-03-21
1
-5
/
+12
|
/
*
coqPackages.bignums: Change expression to match other Coq packages
John Wiegley
2018-03-06
1
-16
/
+16
[prev]
[next]