Index of /ubuntu/ubuntu/pool/universe/c/coq-deriving/
Index of /ubuntu/ubuntu/pool/universe/c/coq-deriving/
../
coq-deriving_0.1.0-1.debian.tar.xz 18-Jul-2022 23:49 1908
coq-deriving_0.1.0-1.dsc 18-Jul-2022 23:49 2108
coq-deriving_0.1.0-1build2.debian.tar.xz 03-Dec-2022 09:59 2020
coq-deriving_0.1.0-1build2.dsc 03-Dec-2022 09:59 2107
coq-deriving_0.1.0-1build3.debian.tar.xz 26-Jan-2023 08:54 2032
coq-deriving_0.1.0-1build3.dsc 26-Jan-2023 08:54 2107
coq-deriving_0.1.0.orig.tar.gz 18-Jul-2022 23:49 29290
libcoq-deriving_0.1.0-1_amd64.deb 19-Jul-2022 01:08 486470
libcoq-deriving_0.1.0-1build2_amd64.deb 03-Dec-2022 12:29 479254
libcoq-deriving_0.1.0-1build3_amd64.deb 26-Jan-2023 16:39 479278