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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-unimath_20231010-1build3.debian.tar.xz2024-04-08 07:57 2.2KDebian Linux
[TXT]coq-unimath_20231010-1build3.dsc2024-04-08 07:57 2.1K 
[ ]coq-unimath_20231010.orig.tar.gz2023-12-22 23:27 2.8M 
[ ]coq-unimath_20240331-2build3.debian.tar.xz2024-09-07 15:43 2.3KDebian Linux
[TXT]coq-unimath_20240331-2build3.dsc2024-09-07 15:43 2.1K 
[ ]coq-unimath_20240331.orig.tar.gz2024-05-02 12:38 3.2M 
[ ]coq-unimath_20240923-2build3.debian.tar.xz2025-02-18 21:25 2.4KDebian Linux
[TXT]coq-unimath_20240923-2build3.dsc2025-02-18 21:25 2.1K 
[ ]coq-unimath_20240923.orig.tar.gz2024-11-20 18:47 3.4M 
[ ]libcoq-unimath_20231010-1build3_arm64.deb2024-04-09 09:57 47M 
[ ]libcoq-unimath_20231010-1build3_armhf.deb2024-04-09 04:28 47M 
[ ]libcoq-unimath_20231010-1build3_ppc64el.deb2024-04-09 05:15 47M 
[ ]libcoq-unimath_20231010-1build3_riscv64.deb2024-04-10 20:53 47M 
[ ]libcoq-unimath_20231010-1build3_s390x.deb2024-04-09 05:15 47M 
[ ]libcoq-unimath_20240331-2build3_arm64.deb2024-09-07 17:24 54M 
[ ]libcoq-unimath_20240331-2build3_ppc64el.deb2024-09-07 17:24 54M 
[ ]libcoq-unimath_20240331-2build3_riscv64.deb2024-09-08 06:51 54M 
[ ]libcoq-unimath_20240331-2build3_s390x.deb2024-09-07 18:14 54M 
[ ]libcoq-unimath_20240923-2build3_arm64.deb2025-02-19 00:22 57M 
[ ]libcoq-unimath_20240923-2build3_ppc64el.deb2025-02-19 00:23 57M 
[ ]libcoq-unimath_20240923-2build3_riscv64.deb2025-02-19 13:45 57M 
[ ]libcoq-unimath_20240923-2build3_s390x.deb2025-02-19 00:24 57M