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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-equations_1.3-8.18-1build3_s390x.deb1.6 MiB2024-Apr-08 22:15
libcoq-equations_1.3-8.18-1build3_riscv64.deb1.5 MiB2024-Apr-08 22:15
libcoq-equations_1.3-8.18-1build3_ppc64el.deb1.5 MiB2024-Apr-08 22:15
libcoq-equations_1.3-8.18-1build3_armhf.deb1.5 MiB2024-Apr-08 22:15
libcoq-equations_1.3-8.18-1build3_arm64.deb1.6 MiB2024-Apr-08 22:14
libcoq-equations_1.3-8.17-2build2_s390x.deb1.6 MiB2023-Sep-04 23:14
libcoq-equations_1.3-8.17-2build2_riscv64.deb1.5 MiB2023-Sep-04 23:14
libcoq-equations_1.3-8.17-2build2_ppc64el.deb1.6 MiB2023-Sep-04 23:14
libcoq-equations_1.3-8.17-2build2_armhf.deb1.5 MiB2023-Sep-04 23:14
libcoq-equations_1.3-8.17-2build2_arm64.deb1.6 MiB2023-Sep-04 23:14
libcoq-equations_1.3-8.16-2build2_s390x.deb1.6 MiB2023-Feb-17 16:29
libcoq-equations_1.3-8.16-2build2_riscv64.deb1.6 MiB2023-Feb-17 17:04
libcoq-equations_1.3-8.16-2build2_ppc64el.deb1.6 MiB2023-Feb-17 16:29
libcoq-equations_1.3-8.16-2build2_armhf.deb1.5 MiB2023-Feb-17 16:29
libcoq-equations_1.3-8.16-2build2_arm64.deb1.6 MiB2023-Feb-17 16:29
coq-equations_1.3-8.18.orig.tar.gz1.1 MiB2023-Dec-24 02:16
coq-equations_1.3-8.18-1build3.dsc2.2 KiB2024-Apr-08 16:57
coq-equations_1.3-8.18-1build3.debian.tar.xz2.8 KiB2024-Apr-08 16:57
coq-equations_1.3-8.17.orig.tar.gz1.0 MiB2023-Jun-13 20:34
coq-equations_1.3-8.17-2build2.dsc2.1 KiB2023-Sep-04 22:25
coq-equations_1.3-8.17-2build2.debian.tar.xz2.6 KiB2023-Sep-04 22:25
coq-equations_1.3-8.16.orig.tar.gz1.0 MiB2022-Nov-06 12:17
coq-equations_1.3-8.16-2build2.dsc2.1 KiB2023-Feb-17 16:29
coq-equations_1.3-8.16-2build2.debian.tar.xz2.3 KiB2023-Feb-17 16:29