repo.or.cz
/
guix.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
gnu: gtk+: Update to 3.24.9.
2019-06-19
D
a
n Frumin
gnu: Ad
d
crispy-doom
.
commit
|
commitdiff
|
tree
2019-05-26
Dan Frumin
gnu: c
o
q-equations:
U
pdate to 1
.
2
.
commit
|
commitdiff
|
tree
2019-05-24
D
a
n Frumin
gnu
:
Ad
d
coq-stdp
p
.
commit
|
commitdiff
|
tree
2019-03-19
Dan
Frumin
gnu
:
coq-flocq: remove u
n
necessa
r
y retur
n
values
commit
|
commitdiff
|
tree
2019-03-04
Dan
Frumin
gnu: coq-coquelicot: Up
d
a
te to 3
.
0
.
2
.
commit
|
commitdiff
|
tree
2019-03-01
Dan Frumin
gnu
:
co
q
-flocq:
U
pdate to 3
.
1
.
0
.
commit
|
commitdiff
|
tree
2019-02-13
Dan
F
rumin
gnu: Add c
o
q-equations
.
commit
|
commitdiff
|
tree
2019-02-07
Dan
F
rumin
gnu: Add
coq-autos
u
bst
commit
|
commitdiff
|
tree