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

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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-equations_1.3-8.18-1build3.debian.tar.xz2.8 KiB08 Apr 2024 07:57:39 +0000
coq-equations_1.3-8.18-1build3.dsc2.2 KiB08 Apr 2024 07:57:39 +0000
coq-equations_1.3-8.18.orig.tar.gz1.1 MiB23 Dec 2023 17:16:59 +0000
coq-equations_1.3.1-8.20-1build4.debian.tar.xz2.8 KiB19 Feb 2025 07:52:17 +0000
coq-equations_1.3.1-8.20-1build4.dsc2.1 KiB19 Feb 2025 07:52:17 +0000
coq-equations_1.3.1-8.20-1build5.debian.tar.xz2.9 KiB20 Jun 2025 13:22:25 +0000
coq-equations_1.3.1-8.20-1build5.dsc2.1 KiB20 Jun 2025 13:22:26 +0000
coq-equations_1.3.1-8.20-1build8.debian.tar.xz3.0 KiB04 Mar 2026 17:33:31 +0000
coq-equations_1.3.1-8.20-1build8.dsc2.1 KiB04 Mar 2026 17:33:31 +0000
coq-equations_1.3.1-8.20.orig.tar.gz1.1 MiB20 Nov 2024 18:47:28 +0000
coq-equations_1.3.2-9.2-2build2.debian.tar.xz3.5 KiB31 Aug 2026 08:08:18 +0000
coq-equations_1.3.2-9.2-2build2.dsc2.2 KiB31 Aug 2026 08:08:18 +0000
coq-equations_1.3.2-9.2.orig.tar.gz1.1 MiB29 Jul 2026 00:05:59 +0000
libcoq-equations_1.3-8.18-1build3_arm64.deb1.6 MiB08 Apr 2024 13:14:53 +0000
libcoq-equations_1.3-8.18-1build3_armhf.deb1.5 MiB08 Apr 2024 13:15:02 +0000
libcoq-equations_1.3-8.18-1build3_ppc64el.deb1.5 MiB08 Apr 2024 13:15:27 +0000
libcoq-equations_1.3-8.18-1build3_riscv64.deb1.5 MiB08 Apr 2024 13:15:30 +0000
libcoq-equations_1.3-8.18-1build3_s390x.deb1.6 MiB08 Apr 2024 13:15:47 +0000
libcoq-equations_1.3.1-8.20-1build4_arm64.deb1.3 MiB19 Feb 2025 07:53:55 +0000
libcoq-equations_1.3.1-8.20-1build4_ppc64el.deb1.3 MiB19 Feb 2025 13:44:54 +0000
libcoq-equations_1.3.1-8.20-1build4_riscv64.deb1.3 MiB19 Feb 2025 13:45:19 +0000
libcoq-equations_1.3.1-8.20-1build4_s390x.deb1.3 MiB19 Feb 2025 11:18:49 +0000
libcoq-equations_1.3.1-8.20-1build5_arm64.deb1.3 MiB20 Jun 2025 17:40:44 +0000
libcoq-equations_1.3.1-8.20-1build5_ppc64el.deb1.3 MiB20 Jun 2025 17:40:46 +0000
libcoq-equations_1.3.1-8.20-1build5_riscv64.deb1.3 MiB20 Jun 2025 19:30:22 +0000
libcoq-equations_1.3.1-8.20-1build5_s390x.deb1.3 MiB20 Jun 2025 17:40:49 +0000
libcoq-equations_1.3.1-8.20-1build8_arm64.deb1.3 MiB04 Mar 2026 17:34:51 +0000
libcoq-equations_1.3.1-8.20-1build8_ppc64el.deb1.3 MiB04 Mar 2026 17:34:59 +0000
libcoq-equations_1.3.1-8.20-1build8_riscv64.deb1.3 MiB04 Mar 2026 17:35:05 +0000
libcoq-equations_1.3.1-8.20-1build8_s390x.deb1.3 MiB04 Mar 2026 17:35:09 +0000
libcoq-equations_1.3.2-9.2-2build2_arm64.deb10.1 MiB31 Aug 2026 08:28:09 +0000
libcoq-equations_1.3.2-9.2-2build2_ppc64el.deb10.2 MiB31 Aug 2026 08:47:58 +0000
libcoq-equations_1.3.2-9.2-2build2_riscv64.deb10.7 MiB31 Aug 2026 10:01:49 +0000
libcoq-equations_1.3.2-9.2-2build2_s390x.deb10.1 MiB31 Aug 2026 08:48:02 +0000