| Parent directory/ | - | - |
| libcoq-reglang_1.2.1-4+b5_arm64.deb | 855512 | 2024-Oct-13 14:25 |
| libcoq-reglang_1.2.1-4+b5_amd64.deb | 855260 | 2024-Oct-13 13:49 |
| coq-reglang_1.2.1-4.debian.tar.xz | 8632 | 2024-Aug-04 08:22 |
| coq-reglang_1.2.1-4.dsc | 1888 | 2024-Aug-04 08:22 |
| libcoq-reglang_1.2.1-3+b2_arm64.deb | 753272 | 2024-Jun-15 17:23 |
| libcoq-reglang_1.2.1-3+b1_armhf.deb | 752860 | 2024-Jun-15 15:22 |
| libcoq-reglang_1.2.1-3+b2_amd64.deb | 753296 | 2024-Jun-15 15:12 |
| libcoq-reglang_1.2.1-3+b2_i386.deb | 752828 | 2024-Jun-15 15:06 |
| coq-reglang_1.2.1-3.dsc | 2117 | 2024-Apr-26 16:06 |
| coq-reglang_1.2.1-3.debian.tar.xz | 8564 | 2024-Apr-26 16:06 |
| coq-reglang_1.2.1.orig.tar.gz | 69424 | 2024-Jan-20 22:13 |