Index of /ubuntu-ports/pool/universe/m/mathcomp-algebra-tactics/

/ubuntu-ports/pool/universe/m/mathcomp-algebra-tactics/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-mathcomp-algebra-tactics_1.2.3-1build5_arm64.deb588.6 KiB08 Apr 2024 20:09:08 +0000
libcoq-mathcomp-algebra-tactics_1.2.3-1build5_armhf.deb588.4 KiB08 Apr 2024 19:24:34 +0000
libcoq-mathcomp-algebra-tactics_1.2.3-1build5_ppc64el.deb588.6 KiB08 Apr 2024 20:09:09 +0000
libcoq-mathcomp-algebra-tactics_1.2.3-1build5_riscv64.deb588.7 KiB09 Apr 2024 07:00:03 +0000
libcoq-mathcomp-algebra-tactics_1.2.3-1build5_s390x.deb588.6 KiB09 Apr 2024 02:23:37 +0000
libcoq-mathcomp-algebra-tactics_1.2.4-1build10_arm64.deb890.1 KiB08 Mar 2026 17:19:40 +0000
libcoq-mathcomp-algebra-tactics_1.2.4-1build10_ppc64el.deb890.1 KiB08 Mar 2026 17:20:05 +0000
libcoq-mathcomp-algebra-tactics_1.2.4-1build10_riscv64.deb890.0 KiB08 Mar 2026 19:53:41 +0000
libcoq-mathcomp-algebra-tactics_1.2.4-1build10_s390x.deb890.1 KiB08 Mar 2026 17:20:07 +0000
libcoq-mathcomp-algebra-tactics_1.2.4-1build1_arm64.deb890.5 KiB20 Feb 2025 20:15:21 +0000
libcoq-mathcomp-algebra-tactics_1.2.4-1build1_ppc64el.deb890.5 KiB20 Feb 2025 09:57:34 +0000
libcoq-mathcomp-algebra-tactics_1.2.4-1build1_riscv64.deb890.5 KiB21 Feb 2025 01:31:04 +0000
libcoq-mathcomp-algebra-tactics_1.2.4-1build1_s390x.deb890.5 KiB20 Feb 2025 09:58:00 +0000
libcoq-mathcomp-algebra-tactics_1.2.4-1build5_arm64.deb889.9 KiB02 Sep 2025 08:36:07 +0000
libcoq-mathcomp-algebra-tactics_1.2.4-1build5_ppc64el.deb889.9 KiB02 Sep 2025 08:36:18 +0000
libcoq-mathcomp-algebra-tactics_1.2.4-1build5_riscv64.deb889.7 KiB03 Sep 2025 05:19:59 +0000
libcoq-mathcomp-algebra-tactics_1.2.4-1build5_s390x.deb889.9 KiB02 Sep 2025 08:36:35 +0000
mathcomp-algebra-tactics_1.2.3-1build5.debian.tar.xz8.9 KiB08 Apr 2024 07:57:39 +0000
mathcomp-algebra-tactics_1.2.3-1build5.dsc2.3 KiB08 Apr 2024 07:57:39 +0000
mathcomp-algebra-tactics_1.2.3.orig.tar.gz57.0 KiB21 Jan 2024 05:45:46 +0000
mathcomp-algebra-tactics_1.2.4-1build1.debian.tar.xz8.9 KiB19 Feb 2025 07:52:11 +0000
mathcomp-algebra-tactics_1.2.4-1build1.dsc2.2 KiB19 Feb 2025 07:52:11 +0000
mathcomp-algebra-tactics_1.2.4-1build10.debian.tar.xz9.1 KiB08 Mar 2026 17:18:29 +0000
mathcomp-algebra-tactics_1.2.4-1build10.dsc2.2 KiB08 Mar 2026 17:18:29 +0000
mathcomp-algebra-tactics_1.2.4-1build5.debian.tar.xz9.0 KiB31 Aug 2025 19:42:09 +0000
mathcomp-algebra-tactics_1.2.4-1build5.dsc2.2 KiB31 Aug 2025 19:42:09 +0000
mathcomp-algebra-tactics_1.2.4.orig.tar.gz57.7 KiB18 Feb 2025 01:39:07 +0000
mathcomp-algebra-tactics_1.2.7-5.debian.tar.xz9.5 KiB13 Aug 2026 01:34:03 +0000
mathcomp-algebra-tactics_1.2.7-5.dsc2.2 KiB13 Aug 2026 01:34:03 +0000
mathcomp-algebra-tactics_1.2.7.orig.tar.gz58.0 KiB29 Jul 2026 23:26:48 +0000