git.annexia.org / fedora-ocaml-rebuild.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b3481d) | patch
Enable gappalib-coq again.
authorRichard W.M. Jones <rjones@redhat.com>
Sun, 28 Feb 2021 21:47:56 +0000 (21:47 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Sun, 28 Feb 2021 21:47:56 +0000 (21:47 +0000)
commit6ae5314c4219bd3dae9ddaf750339eee56104df6
treeeffdaabcb7a6353051b9115868c8658de3104b38tree | snapshot
parent8b3481d3cb1bd8df2f82b99a8f84950a3d140402commit | diff
Enable gappalib-coq again.
Goalfile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.