/ubuntu/pool/universe/c/coq-unicoq/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
coq-unicoq_1.6-8.18-1build3.debian.tar.xz	2.7 KiB	2024-Apr-08 07:57
coq-unicoq_1.6-8.18-1build3.dsc	2.1 KiB	2024-Apr-08 07:57
coq-unicoq_1.6-8.18.orig.tar.gz	579.7 KiB	2023-Dec-22 17:26
coq-unicoq_1.6-8.20-1build3.debian.tar.xz	2.8 KiB	2025-Feb-18 21:25
coq-unicoq_1.6-8.20-1build3.dsc	2.0 KiB	2025-Feb-18 21:25
coq-unicoq_1.6-8.20-1build4.debian.tar.xz	2.8 KiB	2025-Jun-20 13:22
coq-unicoq_1.6-8.20-1build4.dsc	2.0 KiB	2025-Jun-20 13:22
coq-unicoq_1.6-8.20-1build7.debian.tar.xz	2.9 KiB	2026-Mar-03 21:25
coq-unicoq_1.6-8.20-1build7.dsc	2.0 KiB	2026-Mar-03 21:25
coq-unicoq_1.6-8.20.orig.tar.gz	579.8 KiB	2024-Nov-24 00:12
coq-unicoq_1.6-9.1-2build1.debian.tar.xz	2.9 KiB	2026-Aug-26 16:19
coq-unicoq_1.6-9.1-2build1.dsc	2.0 KiB	2026-Aug-26 16:19
coq-unicoq_1.6-9.1-2build2.debian.tar.xz	2.9 KiB	2026-Aug-27 14:19
coq-unicoq_1.6-9.1-2build2.dsc	2.0 KiB	2026-Aug-27 14:19
coq-unicoq_1.6-9.1.orig.tar.gz	580.1 KiB	2026-Jul-28 17:29
libcoq-unicoq_1.6-8.18-1build3_amd64.deb	85.5 KiB	2024-Apr-08 07:57
libcoq-unicoq_1.6-8.20-1build3_amd64.deb	90.9 KiB	2025-Feb-18 21:25
libcoq-unicoq_1.6-8.20-1build4_amd64.deb	90.8 KiB	2025-Jun-20 13:23
libcoq-unicoq_1.6-8.20-1build4_arm64.deb	100.0 KiB	2025-Jun-20 13:24
libcoq-unicoq_1.6-8.20-1build7_amd64.deb	90.4 KiB	2026-Mar-03 21:26
libcoq-unicoq_1.6-8.20-1build7_amd64v3.deb	90.4 KiB	2026-Mar-03 21:26
libcoq-unicoq_1.6-8.20-1build7_arm64.deb	99.5 KiB	2026-Mar-03 21:27
libcoq-unicoq_1.6-9.1-2_amd64.deb	91.0 KiB	2026-Aug-25 17:59
libcoq-unicoq_1.6-9.1-2_amd64v3.deb	91.0 KiB	2026-Aug-25 17:59
libcoq-unicoq_1.6-9.1-2_arm64.deb	99.9 KiB	2026-Aug-26 03:40
libcoq-unicoq_1.6-9.1-2build1_amd64.deb	91.1 KiB	2026-Aug-27 12:33
libcoq-unicoq_1.6-9.1-2build1_amd64v3.deb	91.1 KiB	2026-Aug-27 12:33
libcoq-unicoq_1.6-9.1-2build2_arm64.deb	100.0 KiB	2026-Aug-27 14:20