git.annexia.org / fedora-ocaml-rebuild.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3e8224) | patch
Enable coq again, disable z3 and coccinelle.
authorRichard W.M. Jones <rjones@redhat.com>
Sun, 19 Jan 2020 16:29:42 +0000 (16:29 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Sun, 19 Jan 2020 16:29:42 +0000 (16:29 +0000)
commit894c3badc43d31748bb1510a77a2c58804e6c535
tree394e33d998fd71bb31c669b8a92cf4bde7bca669tree | snapshot
parente3e8224dfbc229ac0df87f6ab679d2651b7a830acommit | diff
Enable coq again, disable z3 and coccinelle.
Goalfile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.