Index of /mirrors/archive.ubuntu.com/ubuntu/pool/universe/c/coq-deriving/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-deriving_0.2.0-1build5.debian.tar.xz2024-Apr-08 09:57:422.3Kapplication/octet-stream
coq-deriving_0.2.0-1build5.dsc2024-Apr-08 09:57:422.1Kapplication/octet-stream
coq-deriving_0.2.0.orig.tar.gz2023-Dec-25 18:31:5230.6Kapplication/x-gzip
coq-deriving_0.2.1-1build5.debian.tar.xz2025-Feb-19 08:52:192.3Kapplication/octet-stream
coq-deriving_0.2.1-1build5.dsc2025-Feb-19 08:52:202.0Kapplication/octet-stream
coq-deriving_0.2.1-1build9.debian.tar.xz2025-Aug-31 21:42:112.4Kapplication/octet-stream
coq-deriving_0.2.1-1build9.dsc2025-Aug-31 21:42:112.0Kapplication/octet-stream
coq-deriving_0.2.1.orig.tar.gz2024-Dec-19 00:41:4531.1Kapplication/x-gzip
libcoq-deriving_0.2.0-1build5_amd64.deb2024-Apr-08 19:55:06479.8Kapplication/octet-stream
libcoq-deriving_0.2.1-1build5_amd64.deb2025-Feb-20 05:20:12545.7Kapplication/octet-stream
libcoq-deriving_0.2.1-1build9_amd64.deb2025-Sep-01 21:52:30544.4Kapplication/octet-stream
lighttpd/1.4.19