git.annexia.org / fedora-ocaml-rebuild.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 84e5269) | patch
Block coq + deps, and plplot.
authorRichard W.M. Jones <rjones@redhat.com>
Sun, 19 Jan 2020 14:29:22 +0000 (14:29 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Sun, 19 Jan 2020 14:29:22 +0000 (14:29 +0000)
commite3e8224dfbc229ac0df87f6ab679d2651b7a830a
treefa929bb8f94503faf3b323dab8ed62aa3f4a7711tree | snapshot
parent84e526997228511d48efea17657fce46d468e2a6commit | diff
Block coq + deps, and plplot.
Goalfile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.