Facebook Mirror
back to facebook
All Sites
About
Developers
Open Source
Careers
Index of
/
ubuntu
/
pool
/
universe
/
c
/
coq-math-classes
Name
Last modified
Size
Parent Directory
-
coq-math-classes_8.18.0-1build3.debian.tar.xz
2024-04-08 00:57
3.1K
coq-math-classes_8.18.0-1build3.dsc
2024-04-08 00:57
2.2K
coq-math-classes_8.18.0.orig.tar.gz
2023-12-23 09:16
165K
coq-math-classes_8.19.0-1build13.debian.tar.xz
2025-02-18 23:52
3.2K
coq-math-classes_8.19.0-1build13.dsc
2025-02-18 23:52
2.1K
coq-math-classes_8.19.0-1build14.debian.tar.xz
2025-06-20 06:22
3.2K
coq-math-classes_8.19.0-1build14.dsc
2025-06-20 06:22
2.1K
coq-math-classes_8.19.0-1build15.debian.tar.xz
2026-01-05 12:02
3.3K
coq-math-classes_8.19.0-1build15.dsc
2026-01-05 12:02
2.1K
coq-math-classes_8.19.0.orig.tar.gz
2024-05-02 04:53
165K
libcoq-math-classes_8.18.0-1build3_amd64.deb
2024-04-08 03:59
3.2M
libcoq-math-classes_8.19.0-1build13_amd64.deb
2025-02-18 23:53
3.1M
libcoq-math-classes_8.19.0-1build14_amd64.deb
2025-06-20 10:40
3.1M
libcoq-math-classes_8.19.0-1build15_amd64.deb
2026-01-05 16:08
3.1M
libcoq-math-classes_8.19.0-1build15_amd64v3.deb
2026-01-05 16:09
3.1M
![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.png){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/package.png){kind=icon}