Index of /ubuntu/pool/universe/c/coq-reduction-effects/

NameLast ModifiedSizeType
../ -  Directory
coq-reduction-effects_0.1.4-3build2.debian.tar.xz2023-Feb-16 20:50:171.6Kapplication/x-xz
coq-reduction-effects_0.1.4-3build2.dsc2023-Feb-16 20:50:172.1Kapplication/octet-stream
coq-reduction-effects_0.1.4-4build1.debian.tar.xz2023-Jul-26 08:19:351.7Kapplication/x-xz
coq-reduction-effects_0.1.4-4build1.dsc2023-Jul-26 08:19:352.1Kapplication/octet-stream
coq-reduction-effects_0.1.4.orig.tar.gz2022-Aug-13 14:24:0510.0Kapplication/x-gtar-compressed
coq-reduction-effects_0.1.5-1.debian.tar.xz2023-Dec-22 19:26:561.6Kapplication/x-xz
coq-reduction-effects_0.1.5-1.dsc2023-Dec-22 19:26:562.1Kapplication/octet-stream
coq-reduction-effects_0.1.5.orig.tar.gz2023-Dec-22 19:26:5610.1Kapplication/x-gtar-compressed
libcoq-reduction-effects_0.1.4-3build2_amd64.deb2023-Feb-16 20:50:2713.9Kapplication/vnd.debian.binary-package
libcoq-reduction-effects_0.1.4-4build1_amd64.deb2023-Jul-26 09:22:1214.1Kapplication/vnd.debian.binary-package
libcoq-reduction-effects_0.1.5-1_amd64.deb2023-Dec-23 00:01:4515.3Kapplication/vnd.debian.binary-package
lighttpd/1.4.55