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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-equations_1.3.2-9.2-2build4_arm64.deb10.1 MiB18.09.2026 20:32
libcoq-equations_1.3.2-9.2-2build4_amd64.deb10.1 MiB18.09.2026 20:30
libcoq-equations_1.3.2-9.2-2build4_amd64v3.deb10.1 MiB18.09.2026 20:31
libcoq-equations_1.3-8.18-1build3_amd64.deb1.5 MiB08.04.2024 10:59
libcoq-equations_1.3.1-8.20-1build5_arm64.deb1.3 MiB20.06.2025 17:40
libcoq-equations_1.3.1-8.20-1build8_arm64.deb1.3 MiB04.03.2026 17:34
libcoq-equations_1.3.1-8.20-1build4_amd64.deb1.3 MiB19.02.2025 07:53
libcoq-equations_1.3.1-8.20-1build5_amd64.deb1.3 MiB20.06.2025 17:40
libcoq-equations_1.3.1-8.20-1build8_amd64v3.deb1.3 MiB04.03.2026 17:34
libcoq-equations_1.3.1-8.20-1build8_amd64.deb1.3 MiB04.03.2026 17:34
coq-equations_1.3.2-9.2.orig.tar.gz1.1 MiB29.07.2026 00:05
coq-equations_1.3.1-8.20.orig.tar.gz1.1 MiB20.11.2024 18:47
coq-equations_1.3-8.18.orig.tar.gz1.1 MiB23.12.2023 17:16
coq-equations_1.3.2-9.2-2build4.debian.tar.xz3.6 KiB18.09.2026 20:27
coq-equations_1.3.1-8.20-1build8.debian.tar.xz3.0 KiB04.03.2026 17:33
coq-equations_1.3.1-8.20-1build5.debian.tar.xz2.9 KiB20.06.2025 13:22
coq-equations_1.3.1-8.20-1build4.debian.tar.xz2.8 KiB19.02.2025 07:52
coq-equations_1.3-8.18-1build3.debian.tar.xz2.8 KiB08.04.2024 07:57
coq-equations_1.3-8.18-1build3.dsc2.2 KiB08.04.2024 07:57
coq-equations_1.3.2-9.2-2build4.dsc2.2 KiB18.09.2026 20:27
coq-equations_1.3.1-8.20-1build4.dsc2.1 KiB19.02.2025 07:52
coq-equations_1.3.1-8.20-1build5.dsc2.1 KiB20.06.2025 13:22
coq-equations_1.3.1-8.20-1build8.dsc2.1 KiB04.03.2026 17:33