Index of /ubuntu-ports/pool/universe/c/coq-deriving/
../
coq-deriving_0.2.0-1build5.debian.tar.xz 08-Apr-2024 08:57 2384
coq-deriving_0.2.0-1build5.dsc 08-Apr-2024 08:57 2191
coq-deriving_0.2.0-3build5.debian.tar.xz 17-Sep-2024 16:51 2384
coq-deriving_0.2.0-3build5.dsc 17-Sep-2024 16:51 2112
coq-deriving_0.2.0.orig.tar.gz 25-Dec-2023 18:31 31391
coq-deriving_0.2.1-1build5.debian.tar.xz 19-Feb-2025 08:52 2392
coq-deriving_0.2.1-1build5.dsc 19-Feb-2025 08:52 2112
coq-deriving_0.2.1.orig.tar.gz 19-Dec-2024 00:41 31849
libcoq-deriving_0.2.0-1build5_arm64.deb 08-Apr-2024 20:24 491362
libcoq-deriving_0.2.0-1build5_armhf.deb 08-Apr-2024 20:24 491036
libcoq-deriving_0.2.0-1build5_ppc64el.deb 08-Apr-2024 21:09 491334
libcoq-deriving_0.2.0-1build5_riscv64.deb 09-Apr-2024 06:15 491352
libcoq-deriving_0.2.0-1build5_s390x.deb 09-Apr-2024 04:08 491370
libcoq-deriving_0.2.0-3build5_arm64.deb 20-Sep-2024 00:39 520106
libcoq-deriving_0.2.0-3build5_ppc64el.deb 20-Sep-2024 02:35 520114
libcoq-deriving_0.2.0-3build5_riscv64.deb 20-Sep-2024 11:37 520058
libcoq-deriving_0.2.0-3build5_s390x.deb 20-Sep-2024 00:39 520096
libcoq-deriving_0.2.1-1build5_arm64.deb 20-Feb-2025 16:13 558878
libcoq-deriving_0.2.1-1build5_ppc64el.deb 20-Feb-2025 05:20 558858
libcoq-deriving_0.2.1-1build5_riscv64.deb 20-Feb-2025 18:00 558848
libcoq-deriving_0.2.1-1build5_s390x.deb 20-Feb-2025 05:21 558824