Index of /ubuntu/pool/universe/c/coq-equations/

NameLast ModifiedSizeType
../ -  Directory
coq-equations_1.3-8.18-1build3.debian.tar.xz2024-Apr-08 16:57:392.8Kapplication/x-xz
coq-equations_1.3-8.18-1build3.dsc2024-Apr-08 16:57:392.1Kapplication/octet-stream
coq-equations_1.3-8.18.orig.tar.gz2023-Dec-24 02:16:591.0Mapplication/x-gtar-compressed
coq-equations_1.3.1-8.20-1build4.debian.tar.xz2025-Feb-19 16:52:172.8Kapplication/x-xz
coq-equations_1.3.1-8.20-1build4.dsc2025-Feb-19 16:52:172.1Kapplication/octet-stream
coq-equations_1.3.1-8.20-1build5.debian.tar.xz2025-Jun-20 22:22:252.9Kapplication/x-xz
coq-equations_1.3.1-8.20-1build5.dsc2025-Jun-20 22:22:262.1Kapplication/octet-stream
coq-equations_1.3.1-8.20-1build6.debian.tar.xz2026-Jan-06 05:02:522.9Kapplication/x-xz
coq-equations_1.3.1-8.20-1build6.dsc2026-Jan-06 05:02:522.1Kapplication/octet-stream
coq-equations_1.3.1-8.20-1build8.debian.tar.xz2026-Mar-05 02:33:312.9Kapplication/x-xz
coq-equations_1.3.1-8.20-1build8.dsc2026-Mar-05 02:33:312.1Kapplication/octet-stream
coq-equations_1.3.1-8.20.orig.tar.gz2024-Nov-21 03:47:281.0Mapplication/x-gtar-compressed
libcoq-equations_1.3-8.18-1build3_amd64.deb2024-Apr-08 19:59:161.5Mapplication/vnd.debian.binary-package
libcoq-equations_1.3.1-8.20-1build4_amd64.deb2025-Feb-19 16:53:211.2Mapplication/vnd.debian.binary-package
libcoq-equations_1.3.1-8.20-1build5_amd64.deb2025-Jun-21 02:40:401.2Mapplication/vnd.debian.binary-package
libcoq-equations_1.3.1-8.20-1build6_amd64.deb2026-Jan-06 09:08:571.2Mapplication/vnd.debian.binary-package
libcoq-equations_1.3.1-8.20-1build6_amd64v3.deb2026-Jan-06 09:09:091.2Mapplication/vnd.debian.binary-package
libcoq-equations_1.3.1-8.20-1build8_amd64.deb2026-Mar-05 02:34:401.2Mapplication/vnd.debian.binary-package
libcoq-equations_1.3.1-8.20-1build8_amd64v3.deb2026-Mar-05 02:34:471.2Mapplication/vnd.debian.binary-package
Tsukuba WIDE public mirror service