Index of /pub/kali/pool/main/m/mathcomp-algebra-tactics/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
libcoq-mathcomp-algebra-tactics_1.2.3-4+b5_amd64.deb2024-Oct-13 14:30:27518.2Kapplication/octet-stream
libcoq-mathcomp-algebra-tactics_1.2.3-4+b5_arm64.deb2024-Oct-13 14:51:17518.4Kapplication/octet-stream
libcoq-mathcomp-algebra-tactics_1.2.3-4+b6_arm64.deb2024-Nov-20 22:52:07505.3Kapplication/octet-stream
libcoq-mathcomp-algebra-tactics_1.2.3-4+b7_amd64.deb2024-Nov-21 01:18:19505.6Kapplication/octet-stream
mathcomp-algebra-tactics_1.2.3-4.debian.tar.xz2024-Aug-03 14:47:118.7Kapplication/octet-stream
mathcomp-algebra-tactics_1.2.3-4.dsc2024-Aug-03 14:47:112.0Kapplication/octet-stream
mathcomp-algebra-tactics_1.2.3.orig.tar.gz2024-Jan-20 21:02:4256.9Kapplication/x-gzip
lighttpd/1.4.19