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

NameLast ModifiedSizeType
../ -  Directory
libcoq-mathcomp-algebra-tactics_1.0.0-8build3_amd64.deb2023-Feb-17 04:34:18254.4Kapplication/vnd.debian.binary-package
libcoq-mathcomp-algebra-tactics_1.1.1-2build9_amd64.deb2023-Aug-28 19:39:35424.6Kapplication/vnd.debian.binary-package
libcoq-mathcomp-algebra-tactics_1.2.3-1build2_amd64.deb2024-Feb-17 18:32:07588.5Kapplication/vnd.debian.binary-package
mathcomp-algebra-tactics_1.0.0-8build3.debian.tar.xz2023-Feb-17 01:24:238.6Kapplication/x-xz
mathcomp-algebra-tactics_1.0.0-8build3.dsc2023-Feb-17 01:24:232.2Kapplication/octet-stream
mathcomp-algebra-tactics_1.0.0.orig.tar.gz2022-May-18 14:29:3236.3Kapplication/x-gtar-compressed
mathcomp-algebra-tactics_1.1.1-2build9.debian.tar.xz2023-Aug-28 19:13:558.7Kapplication/x-xz
mathcomp-algebra-tactics_1.1.1-2build9.dsc2023-Aug-28 19:13:552.2Kapplication/octet-stream
mathcomp-algebra-tactics_1.1.1.orig.tar.gz2023-Jun-15 14:44:1351.0Kapplication/x-gtar-compressed
mathcomp-algebra-tactics_1.2.3-1build2.debian.tar.xz2024-Feb-17 02:37:248.7Kapplication/x-xz
mathcomp-algebra-tactics_1.2.3-1build2.dsc2024-Feb-17 02:37:242.2Kapplication/octet-stream
mathcomp-algebra-tactics_1.2.3.orig.tar.gz2024-Jan-21 07:45:4656.9Kapplication/x-gtar-compressed
lighttpd/1.4.55