git.annexia.org / fedora-ocaml-rebuild.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 894c3ba) | patch
Coq not in fact fixes, disable + deps again.
authorRichard W.M. Jones <rjones@redhat.com>
Sun, 19 Jan 2020 16:41:47 +0000 (16:41 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Sun, 19 Jan 2020 16:42:07 +0000 (16:42 +0000)
commit02c0bc25362aac69058d1dd69dea2cfbf6859055
tree5305cadda74ef29e563322d7a4d9b3f321c8ed0btree | snapshot
parent894c3badc43d31748bb1510a77a2c58804e6c535commit | diff
Coq not in fact fixes, disable + deps again.
Goalfile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.