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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
mathcomp-algebra-tactics_1.2.3.orig.tar.gz 583662024-Jan-21 14:45
mathcomp-algebra-tactics_1.2.3-1build5.dsc 23602024-Apr-08 16:57
mathcomp-algebra-tactics_1.2.3-1build5.debian.tar.xz 91042024-Apr-08 16:57
libcoq-mathcomp-algebra-tactics_1.2.3-1build5_armhf.deb 6025142024-Apr-09 04:24
libcoq-mathcomp-algebra-tactics_1.2.3-1build5_arm64.deb 6027602024-Apr-09 05:09
libcoq-mathcomp-algebra-tactics_1.2.3-1build5_ppc64el.deb 6027422024-Apr-09 05:09
libcoq-mathcomp-algebra-tactics_1.2.3-1build5_s390x.deb 6027662024-Apr-09 11:23
libcoq-mathcomp-algebra-tactics_1.2.3-1build5_riscv64.deb 6027862024-Apr-09 16:00
mathcomp-algebra-tactics_1.2.4.orig.tar.gz 590632025-Feb-18 10:39
mathcomp-algebra-tactics_1.2.4-1build1.dsc 22812025-Feb-19 16:52
mathcomp-algebra-tactics_1.2.4-1build1.debian.tar.xz 90642025-Feb-19 16:52
libcoq-mathcomp-algebra-tactics_1.2.4-1build1_ppc64el.deb 9119202025-Feb-20 18:57
libcoq-mathcomp-algebra-tactics_1.2.4-1build1_s390x.deb 9118602025-Feb-20 18:58
libcoq-mathcomp-algebra-tactics_1.2.4-1build1_arm64.deb 9118742025-Feb-21 05:15
libcoq-mathcomp-algebra-tactics_1.2.4-1build1_riscv64.deb 9118682025-Feb-21 10:31
mathcomp-algebra-tactics_1.2.4-1build5.debian.tar.xz 91722025-Sep-01 04:42
mathcomp-algebra-tactics_1.2.4-1build5.dsc 22812025-Sep-01 04:42
libcoq-mathcomp-algebra-tactics_1.2.4-1build5_arm64.deb 9112222025-Sep-02 17:36
libcoq-mathcomp-algebra-tactics_1.2.4-1build5_ppc64el.deb 9112642025-Sep-02 17:36
libcoq-mathcomp-algebra-tactics_1.2.4-1build5_s390x.deb 9112542025-Sep-02 17:36
libcoq-mathcomp-algebra-tactics_1.2.4-1build5_riscv64.deb 9110862025-Sep-03 14:19
mathcomp-algebra-tactics_1.2.4-1build10.debian.tar.xz 93082026-Mar-09 02:18
mathcomp-algebra-tactics_1.2.4-1build10.dsc 22852026-Mar-09 02:18
libcoq-mathcomp-algebra-tactics_1.2.4-1build10_arm64.deb 9114682026-Mar-09 02:19
libcoq-mathcomp-algebra-tactics_1.2.4-1build10_ppc64el.deb 9114622026-Mar-09 02:20
libcoq-mathcomp-algebra-tactics_1.2.4-1build10_s390x.deb 9114802026-Mar-09 02:20
libcoq-mathcomp-algebra-tactics_1.2.4-1build10_riscv64.deb 9113342026-Mar-09 04:53
mathcomp-algebra-tactics_1.2.7.orig.tar.gz 593822026-Jul-30 08:26
mathcomp-algebra-tactics_1.2.7-5.dsc 23012026-Aug-13 10:34
mathcomp-algebra-tactics_1.2.7-5.debian.tar.xz 97642026-Aug-13 10:34