Index of /pub/linux/ubuntu/ports/pool/universe/c/coq-math-classes

Icon  Name                                           Last modified      Size  Description
[PARENTDIR] Parent Directory                                                    -   
[   ] coq-math-classes_8.15.0-4build2.debian.tar.xz  2023-02-17 16:29  2.6K  
[TXT] coq-math-classes_8.15.0-4build2.dsc            2023-02-17 16:29  2.1K  
[   ] coq-math-classes_8.15.0.orig.tar.gz            2022-07-09 14:18  164K  
[   ] coq-math-classes_8.17.0-1build1.debian.tar.xz  2023-07-26 14:19  2.7K  
[TXT] coq-math-classes_8.17.0-1build1.dsc            2023-07-26 14:19  2.1K  
[   ] coq-math-classes_8.17.0.orig.tar.gz            2023-06-13 20:34  165K  
[   ] coq-math-classes_8.18.0-1build3.debian.tar.xz  2024-04-08 16:57  3.1K  
[TXT] coq-math-classes_8.18.0-1build3.dsc            2024-04-08 16:57  2.2K  
[   ] coq-math-classes_8.18.0.orig.tar.gz            2023-12-24 02:16  165K  
[   ] coq-math-classes_8.19.0-1build8.debian.tar.xz  2024-09-08 04:04  3.1K  
[TXT] coq-math-classes_8.19.0-1build8.dsc            2024-09-08 04:04  2.1K  
[   ] coq-math-classes_8.19.0.orig.tar.gz            2024-05-02 20:53  165K  
[   ] libcoq-math-classes_8.15.0-4build2_arm64.deb   2023-02-17 16:29  3.3M  
[   ] libcoq-math-classes_8.15.0-4build2_armhf.deb   2023-02-17 16:29  3.3M  
[   ] libcoq-math-classes_8.15.0-4build2_ppc64el.deb 2023-02-17 16:29  3.3M  
[   ] libcoq-math-classes_8.15.0-4build2_riscv64.deb 2023-02-17 17:04  3.3M  
[   ] libcoq-math-classes_8.15.0-4build2_s390x.deb   2023-02-17 16:29  3.3M  
[   ] libcoq-math-classes_8.17.0-1build1_arm64.deb   2023-07-26 16:55  3.3M  
[   ] libcoq-math-classes_8.17.0-1build1_armhf.deb   2023-07-26 16:55  3.3M  
[   ] libcoq-math-classes_8.17.0-1build1_ppc64el.deb 2023-07-26 16:55  3.3M  
[   ] libcoq-math-classes_8.17.0-1build1_riscv64.deb 2023-07-26 17:54  3.3M  
[   ] libcoq-math-classes_8.17.0-1build1_s390x.deb   2023-07-26 16:56  3.3M  
[   ] libcoq-math-classes_8.18.0-1build3_arm64.deb   2024-04-08 22:14  3.2M  
[   ] libcoq-math-classes_8.18.0-1build3_armhf.deb   2024-04-08 22:15  3.2M  
[   ] libcoq-math-classes_8.18.0-1build3_ppc64el.deb 2024-04-08 22:15  3.2M  
[   ] libcoq-math-classes_8.18.0-1build3_riscv64.deb 2024-04-08 22:15  3.2M  
[   ] libcoq-math-classes_8.18.0-1build3_s390x.deb   2024-04-08 22:15  3.2M  
[   ] libcoq-math-classes_8.19.0-1build8_arm64.deb   2024-09-08 04:05  3.2M  
[   ] libcoq-math-classes_8.19.0-1build8_ppc64el.deb 2024-09-08 04:05  3.2M  
[   ] libcoq-math-classes_8.19.0-1build8_riscv64.deb 2024-09-08 04:58  3.2M  
[   ] libcoq-math-classes_8.19.0-1build8_s390x.deb   2024-09-08 04:05  3.2M