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

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


../
coq-deriving_0.1.0-1.debian.tar.xz                 19-Jul-2022 06:49    1908
coq-deriving_0.1.0-1.dsc                           19-Jul-2022 06:49    2108
coq-deriving_0.1.0-1build2.debian.tar.xz           03-Dec-2022 16:59    2020
coq-deriving_0.1.0-1build2.dsc                     03-Dec-2022 16:59    2107
coq-deriving_0.1.0-1build3.debian.tar.xz           26-Jan-2023 15:54    2032
coq-deriving_0.1.0-1build3.dsc                     26-Jan-2023 15:54    2107
coq-deriving_0.1.0-2.debian.tar.xz                 27-Jan-2023 00:29    1968
coq-deriving_0.1.0-2.dsc                           27-Jan-2023 00:29    2113
coq-deriving_0.1.0-2build2.debian.tar.xz           17-Feb-2023 01:50    2052
coq-deriving_0.1.0-2build2.dsc                     17-Feb-2023 01:50    2112
coq-deriving_0.1.0.orig.tar.gz                     19-Jul-2022 06:49     29K
libcoq-deriving_0.1.0-1_arm64.deb                  19-Jul-2022 07:45    475K
libcoq-deriving_0.1.0-1_armhf.deb                  19-Jul-2022 07:45    474K
libcoq-deriving_0.1.0-1_ppc64el.deb                19-Jul-2022 08:09    475K
libcoq-deriving_0.1.0-1_riscv64.deb                19-Jul-2022 08:49    475K
libcoq-deriving_0.1.0-1_s390x.deb                  19-Jul-2022 08:09    475K
libcoq-deriving_0.1.0-1build2_arm64.deb            03-Dec-2022 21:54    468K
libcoq-deriving_0.1.0-1build2_armhf.deb            03-Dec-2022 21:54    468K
libcoq-deriving_0.1.0-1build2_ppc64el.deb          03-Dec-2022 19:29    468K
libcoq-deriving_0.1.0-1build2_riscv64.deb          04-Dec-2022 02:04    468K
libcoq-deriving_0.1.0-1build2_s390x.deb            03-Dec-2022 19:29    468K
libcoq-deriving_0.1.0-1build3_arm64.deb            26-Jan-2023 23:39    468K
libcoq-deriving_0.1.0-1build3_armhf.deb            26-Jan-2023 23:39    468K
libcoq-deriving_0.1.0-1build3_ppc64el.deb          26-Jan-2023 23:39    468K
libcoq-deriving_0.1.0-1build3_s390x.deb            26-Jan-2023 23:39    468K
libcoq-deriving_0.1.0-2_arm64.deb                  27-Jan-2023 00:54    468K
libcoq-deriving_0.1.0-2_armhf.deb                  27-Jan-2023 00:29    468K
libcoq-deriving_0.1.0-2_ppc64el.deb                27-Jan-2023 00:54    468K
libcoq-deriving_0.1.0-2_riscv64.deb                27-Jan-2023 14:38    468K
libcoq-deriving_0.1.0-2_s390x.deb                  27-Jan-2023 00:54    468K
libcoq-deriving_0.1.0-2build2_arm64.deb            17-Feb-2023 01:50    468K
libcoq-deriving_0.1.0-2build2_armhf.deb            17-Feb-2023 01:50    468K
libcoq-deriving_0.1.0-2build2_ppc64el.deb          17-Feb-2023 01:50    468K
libcoq-deriving_0.1.0-2build2_riscv64.deb          17-Feb-2023 09:34    468K
libcoq-deriving_0.1.0-2build2_s390x.deb            17-Feb-2023 02:44    468K