- add ocaml_opt bcond
authorJan Rękorajski <baggins@pld-linux.org>
Sat, 25 Jul 2015 16:58:03 +0000 (18:58 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Sat, 25 Jul 2015 16:58:03 +0000 (18:58 +0200)
commit48226845d9b0ba1a308d5566ebbb0212d69a6d8a
tree1fe9de94cb60b25340c02b2006ae332ea8f65edb
parent7f3d6db518db9646aaab6ecd221a629a726309c3
- add ocaml_opt bcond
coq.spec
This page took 0.053202 seconds and 4 git commands to generate.