Index of /mirrors/ftp.ubuntu.com/ubuntu/pool/universe/c/coq-stdpp/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-stdpp_1.10.0-1build2.debian.tar.xz2024-May-13 20:39:442.6Kapplication/octet-stream
coq-stdpp_1.10.0-1build2.dsc2024-May-13 20:39:442.0Kapplication/octet-stream
coq-stdpp_1.10.0.orig.tar.gz2024-May-02 14:38:56296.0Kapplication/x-gzip
coq-stdpp_1.8.0-3build2.debian.tar.xz2023-Feb-16 19:50:172.4Kapplication/octet-stream
coq-stdpp_1.8.0-3build2.dsc2023-Feb-16 19:50:172.0Kapplication/octet-stream
coq-stdpp_1.8.0-4build1.debian.tar.xz2023-Jul-26 07:19:352.4Kapplication/octet-stream
coq-stdpp_1.8.0-4build1.dsc2023-Jul-26 07:19:352.0Kapplication/octet-stream
coq-stdpp_1.8.0.orig.tar.gz2022-Aug-19 19:34:16248.5Kapplication/x-gzip
coq-stdpp_1.9.0-1build3.debian.tar.xz2024-Apr-08 09:57:412.7Kapplication/octet-stream
coq-stdpp_1.9.0-1build3.dsc2024-Apr-08 09:57:412.0Kapplication/octet-stream
coq-stdpp_1.9.0.orig.tar.gz2023-Dec-22 18:26:56290.5Kapplication/x-gzip
libcoq-stdpp_1.10.0-1build2_amd64.deb2024-May-13 20:40:125.2Mapplication/octet-stream
libcoq-stdpp_1.8.0-3build2_amd64.deb2023-Feb-16 19:50:274.5Mapplication/octet-stream
libcoq-stdpp_1.8.0-4build1_amd64.deb2023-Jul-26 08:22:114.4Mapplication/octet-stream
libcoq-stdpp_1.9.0-1build3_amd64.deb2024-Apr-08 09:57:465.0Mapplication/octet-stream
lighttpd/1.4.19