Index of /ubuntu-ports/pool/universe/c/coq-simple-io/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-simple-io_1.10.0-1build3_riscv64.deb280.7 KiB2025-Feb-02 23:02
libcoq-simple-io_1.9.0-2build3_riscv64.deb280.3 KiB2024-Sep-08 04:05
libcoq-simple-io_1.10.0-1build2_riscv64.deb280.3 KiB2025-Jan-10 21:22
libcoq-simple-io_1.10.0-1build3_arm64.deb270.7 KiB2025-Feb-02 16:27
libcoq-simple-io_1.9.0-2build3_arm64.deb270.5 KiB2024-Sep-08 04:05
libcoq-simple-io_1.10.0-1build2_arm64.deb270.4 KiB2025-Jan-10 21:22
libcoq-simple-io_1.9.0-2build3_ppc64el.deb269.9 KiB2024-Sep-08 04:05
libcoq-simple-io_1.10.0-1build3_ppc64el.deb269.4 KiB2025-Feb-02 16:27
libcoq-simple-io_1.10.0-1build2_ppc64el.deb269.1 KiB2025-Jan-10 21:22
libcoq-simple-io_1.9.0-2build3_s390x.deb266.9 KiB2024-Sep-08 04:05
libcoq-simple-io_1.10.0-1build3_s390x.deb266.8 KiB2025-Feb-02 16:28
libcoq-simple-io_1.10.0-1build2_s390x.deb266.5 KiB2025-Jan-10 21:22
libcoq-simple-io_1.8.0-4ubuntu4_arm64.deb99.1 KiB2024-Apr-08 22:14
libcoq-simple-io_1.8.0-4ubuntu4_ppc64el.deb96.6 KiB2024-Apr-08 22:15
libcoq-simple-io_1.8.0-4ubuntu4_riscv64.deb96.3 KiB2024-Apr-08 22:15
libcoq-simple-io_1.8.0-4ubuntu4_s390x.deb96.2 KiB2024-Apr-08 22:15
libcoq-simple-io_1.8.0-4ubuntu4_armhf.deb94.8 KiB2024-Apr-08 22:15
coq-simple-io_1.10.0.orig.tar.gz33.6 KiB2024-Nov-21 03:47
coq-simple-io_1.9.0.orig.tar.gz33.3 KiB2024-May-02 17:09
coq-simple-io_1.8.0.orig.tar.gz32.2 KiB2022-Nov-05 23:08
coq-simple-io_1.8.0-4ubuntu4.debian.tar.xz3.3 KiB2024-Apr-08 16:57
coq-simple-io_1.10.0-1build3.debian.tar.xz2.8 KiB2025-Feb-02 16:27
coq-simple-io_1.10.0-1build2.debian.tar.xz2.7 KiB2025-Jan-10 21:21
coq-simple-io_1.9.0-2build3.debian.tar.xz2.7 KiB2024-Sep-08 04:04
coq-simple-io_1.8.0-4ubuntu4.dsc2.2 KiB2024-Apr-08 16:57
coq-simple-io_1.10.0-1build2.dsc2.1 KiB2025-Jan-10 21:21
coq-simple-io_1.10.0-1build3.dsc2.1 KiB2025-Feb-02 16:27
coq-simple-io_1.9.0-2build3.dsc2.1 KiB2024-Sep-08 04:04