| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| coq-theories_8.6-4_armhf.deb | 21.8 MiB | 2017-Jan-17 02:52 |
| coq_8.6-4_armhf.deb | 13.0 MiB | 2017-Jan-17 02:52 |
| libcoq-ocaml-dev_8.6-4_armhf.deb | 13.4 MiB | 2017-Jan-17 02:52 |
| coqide_8.6-4_armhf.deb | 1.3 MiB | 2017-Jan-17 02:52 |
| libcoq-ocaml_8.6-4_armhf.deb | 3.4 MiB | 2017-Jan-17 02:52 |
| coq_8.6-4.debian.tar.xz | 21.5 KiB | 2016-Dec-30 00:56 |
| coq_8.6-4.dsc | 2.3 KiB | 2016-Dec-30 00:56 |
| coq_8.6.orig.tar.gz | 4.8 MiB | 2016-Dec-28 13:44 |