Index of /ubuntu/pool/universe/c/coq-deriving/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-deriving_0.2.0-1build5.debian.tar.xz2024-Apr-08 15:57:422.3Kapplication/x-xz
coq-deriving_0.2.0-1build5.dsc2024-Apr-08 15:57:422.1Kapplication/octet-stream
coq-deriving_0.2.0-3build5.debian.tar.xz2024-Sep-17 23:51:432.3Kapplication/x-xz
coq-deriving_0.2.0-3build5.dsc2024-Sep-17 23:51:432.0Kapplication/octet-stream
coq-deriving_0.2.0.orig.tar.gz2023-Dec-26 01:31:5230.6Kapplication/gzip
coq-deriving_0.2.1-1build1.debian.tar.xz2024-Dec-20 22:16:362.2Kapplication/x-xz
coq-deriving_0.2.1-1build1.dsc2024-Dec-20 22:16:362.0Kapplication/octet-stream
coq-deriving_0.2.1.orig.tar.gz2024-Dec-19 07:41:4531.1Kapplication/gzip
libcoq-deriving_0.2.0-1build5_amd64.deb2024-Apr-09 01:55:06479.8Kapplication/vnd.debian.binary-package
libcoq-deriving_0.2.0-3build5_amd64.deb2024-Sep-20 07:39:49507.8Kapplication/vnd.debian.binary-package
libcoq-deriving_0.2.1-1build1_amd64.deb2024-Dec-20 22:16:51545.9Kapplication/vnd.debian.binary-package
lighttpd/1.4.35