- rebuild with ocaml 4.04.1 auto/th/coq-8.4pl6-3
authorJan Rękorajski <baggins@pld-linux.org>
Mon, 5 Jun 2017 12:35:54 +0000 (14:35 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Mon, 5 Jun 2017 12:35:54 +0000 (14:35 +0200)
commit1993b991f3f5a80b24e7144dd64beb40cedf9f90
treefb4b1843fc488b8c36c5a5986e010ccdfc21ea48
parent0e56eeba5b014349b78f5e146823c1d9e049c4e1
- rebuild with ocaml 4.04.1
- release 3 (by relup.sh)
coq.spec
This page took 0.049257 seconds and 4 git commands to generate.