Index of /ubuntu-ports/pool/universe/c/coq-deriving/
../ coq-deriving_0.2.0-1build5.debian.tar.xz 08-Apr-2024 16:57 2384 coq-deriving_0.2.0-1build5.dsc 08-Apr-2024 16:57 2191 coq-deriving_0.2.0.orig.tar.gz 26-Dec-2023 02:31 31K coq-deriving_0.2.1-1build11.debian.tar.xz 06-Nov-2025 18:20 2496 coq-deriving_0.2.1-1build11.dsc 06-Nov-2025 18:20 2116 coq-deriving_0.2.1-1build5.debian.tar.xz 19-Feb-2025 16:52 2392 coq-deriving_0.2.1-1build5.dsc 19-Feb-2025 16:52 2112 coq-deriving_0.2.1-1build9.debian.tar.xz 01-Sep-2025 04:42 2452 coq-deriving_0.2.1-1build9.dsc 01-Sep-2025 04:42 2112 coq-deriving_0.2.1.orig.tar.gz 19-Dec-2024 08:41 31K libcoq-deriving_0.2.0-1build5_arm64.deb 09-Apr-2024 04:24 480K libcoq-deriving_0.2.0-1build5_armhf.deb 09-Apr-2024 04:24 480K libcoq-deriving_0.2.0-1build5_ppc64el.deb 09-Apr-2024 05:09 480K libcoq-deriving_0.2.0-1build5_riscv64.deb 09-Apr-2024 14:15 480K libcoq-deriving_0.2.0-1build5_s390x.deb 09-Apr-2024 12:08 480K libcoq-deriving_0.2.1-1build11_arm64.deb 07-Nov-2025 05:02 544K libcoq-deriving_0.2.1-1build11_ppc64el.deb 07-Nov-2025 05:02 544K libcoq-deriving_0.2.1-1build11_riscv64.deb 08-Nov-2025 02:43 544K libcoq-deriving_0.2.1-1build11_s390x.deb 07-Nov-2025 08:09 544K libcoq-deriving_0.2.1-1build5_arm64.deb 21-Feb-2025 00:13 546K libcoq-deriving_0.2.1-1build5_ppc64el.deb 20-Feb-2025 13:20 546K libcoq-deriving_0.2.1-1build5_riscv64.deb 21-Feb-2025 02:00 546K libcoq-deriving_0.2.1-1build5_s390x.deb 20-Feb-2025 13:21 546K libcoq-deriving_0.2.1-1build9_arm64.deb 02-Sep-2025 04:52 544K libcoq-deriving_0.2.1-1build9_ppc64el.deb 02-Sep-2025 04:52 544K libcoq-deriving_0.2.1-1build9_riscv64.deb 03-Sep-2025 03:16 544K libcoq-deriving_0.2.1-1build9_s390x.deb 02-Sep-2025 04:52 544K