![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2013-03-16 10:22 | 2.0M | |
![]() | libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2013-03-16 10:22 | 5.6M | |
![]() | coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2013-03-16 10:22 | 5.3M | |
![]() | coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb | 2013-03-16 10:22 | 5.3M | |
![]() | coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb | 2013-03-16 10:22 | 52M | |