![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | coq-theories_8.4pl4dfsg-1_all.deb | 2014-07-27 12:26 | 31M | |
![]() | coq_8.4pl4dfsg-1_amd64.deb | 2014-07-27 12:26 | 3.9M | |
![]() | coqide_8.4pl4dfsg-1_amd64.deb | 2014-07-27 12:26 | 779K | |
![]() | libcoq-ocaml_8.4pl4dfsg-1_amd64.deb | 2014-07-27 12:26 | 1.6M | |