| Parent directory/ | - | - |
| libcoq-menhirlib_20220210+ds-4_ppc64el.deb | 1466796 | 2023-Jan-26 21:57 |
| libcoq-menhirlib_20220210+ds-4_i386.deb | 1466440 | 2023-Jan-25 08:12 |
| libcoq-menhirlib_20220210+ds-4_armhf.deb | 1466376 | 2023-Jan-25 08:12 |
| libcoq-menhirlib_20220210+ds-4_arm64.deb | 1466364 | 2023-Jan-25 08:12 |
| libcoq-menhirlib_20220210+ds-4_amd64.deb | 1466216 | 2023-Jan-25 08:12 |
| libcoq-menhirlib_20220210+ds-4_s390x.deb | 1465780 | 2023-Jan-25 08:07 |
| coq-menhirlib_20220210+ds.orig.tar.xz | 38152 | 2022-Jul-08 14:56 |
| coq-menhirlib_20220210+ds-4.dsc | 2145 | 2023-Jan-25 07:42 |
| coq-menhirlib_20220210+ds-4.debian.tar.xz | 1756 | 2023-Jan-25 07:42 |