git.annexia.org / fedora-ocaml-rebuild.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a11c8cf) | patch
Disable flocq, gappalib-coq, graphviz, haxe, why3, zenon
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 12 Jul 2023 13:32:34 +0000 (14:32 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 12 Jul 2023 13:32:34 +0000 (14:32 +0100)
commit402c0103e054dc6317096b42e97ddc5567d20290
tree2d4c5336cfcadb5c90f984ef7efa66f5a4a274d7tree | snapshot
parenta11c8cf33577f14c3043d26e384ca2e8a6b5753fcommit | diff
Disable flocq, gappalib-coq, graphviz, haxe, why3, zenon

Depend variously on coq, camlp5 and swig.
Goalfile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.