Index of /archive.ubuntu.org/ubuntu/pool/universe/c/coq-equations/

NameLast ModifiedSizeType
../ -  Directory
coq-equations_1.3-8.18-1build3.debian.tar.xz2024-Apr-08 08:57:392.8Kapplication/x-xz
coq-equations_1.3-8.18-1build3.dsc2024-Apr-08 08:57:392.1Kapplication/octet-stream
coq-equations_1.3-8.18.orig.tar.gz2023-Dec-23 17:16:591.0Mapplication/x-gtar-compressed
coq-equations_1.3.1-8.20-1build4.debian.tar.xz2025-Feb-19 07:52:172.8Kapplication/x-xz
coq-equations_1.3.1-8.20-1build4.dsc2025-Feb-19 07:52:172.1Kapplication/octet-stream
coq-equations_1.3.1-8.20-1build5.debian.tar.xz2025-Jun-20 14:22:252.9Kapplication/x-xz
coq-equations_1.3.1-8.20-1build5.dsc2025-Jun-20 14:22:262.1Kapplication/octet-stream
coq-equations_1.3.1-8.20-1build6.debian.tar.xz2026-Jan-05 20:02:522.9Kapplication/x-xz
coq-equations_1.3.1-8.20-1build6.dsc2026-Jan-05 20:02:522.1Kapplication/octet-stream
coq-equations_1.3.1-8.20-1build7.debian.tar.xz2026-Jan-29 19:55:002.9Kapplication/x-xz
coq-equations_1.3.1-8.20-1build7.dsc2026-Jan-29 19:55:002.1Kapplication/octet-stream
coq-equations_1.3.1-8.20.orig.tar.gz2024-Nov-20 18:47:281.0Mapplication/x-gtar-compressed
libcoq-equations_1.3-8.18-1build3_amd64.deb2024-Apr-08 11:59:161.5Mapplication/vnd.debian.binary-package
libcoq-equations_1.3.1-8.20-1build4_amd64.deb2025-Feb-19 07:53:211.2Mapplication/vnd.debian.binary-package
libcoq-equations_1.3.1-8.20-1build5_amd64.deb2025-Jun-20 18:40:401.2Mapplication/vnd.debian.binary-package
libcoq-equations_1.3.1-8.20-1build6_amd64.deb2026-Jan-06 00:08:571.2Mapplication/vnd.debian.binary-package
libcoq-equations_1.3.1-8.20-1build6_amd64v3.deb2026-Jan-06 00:09:091.2Mapplication/vnd.debian.binary-package
libcoq-equations_1.3.1-8.20-1build7_amd64.deb2026-Jan-30 03:15:361.2Mapplication/vnd.debian.binary-package
libcoq-equations_1.3.1-8.20-1build7_amd64v3.deb2026-Jan-30 03:15:461.2Mapplication/vnd.debian.binary-package
Mirrors @ BSKYB