ocaml: Add comments about ocaml-seq, coq
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 1 Aug 2019 09:19:30 +0000 (10:19 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 1 Aug 2019 09:19:30 +0000 (10:19 +0100)
commit4c6eaf8b788a69abac10baf7be7861d6d5c071c6
treeae767de22fc444d26d4d88d6a0ce08a88ba39919
parent983dbd253d34129382737dd283dd2910f7933c06
ocaml: Add comments about ocaml-seq, coq
fedora_ocaml_rebuild.ml