Index of /pub/Linux/INSTALL/Debian/pool/main/c/coq-gappa

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                            -   
[   ] coq-gappa_1.5.2-5.debian.tar.xz        2023-01-26 12:44  2.0K  
[TXT] coq-gappa_1.5.2-5.dsc                  2023-01-26 12:44  2.0K  
[   ] coq-gappa_1.5.2.orig.tar.bz2           2022-07-19 07:00   72K  
[   ] coq-gappa_1.6.0-1.debian.tar.xz        2025-01-23 21:57  2.3K  
[TXT] coq-gappa_1.6.0-1.dsc                  2025-01-23 21:57  2.0K  
[   ] coq-gappa_1.6.0.orig.tar.bz2           2025-01-23 21:57   74K  
[   ] libcoq-gappa_1.5.2-5+b1_amd64.deb      2023-02-13 07:28  504K  
[   ] libcoq-gappa_1.5.2-5+b1_arm64.deb      2023-02-13 07:28  506K  
[   ] libcoq-gappa_1.5.2-5+b1_armhf.deb      2023-02-13 07:28  502K  
[   ] libcoq-gappa_1.5.2-5+b1_i386.deb       2023-02-13 07:08  500K  
[   ] libcoq-gappa_1.5.2-5+b1_ppc64el.deb    2023-02-14 10:44  503K  
[   ] libcoq-gappa_1.5.2-5+b1_s390x.deb      2023-02-13 07:08  504K  
[   ] libcoq-gappa_1.6.0-1+b1_amd64.deb      2025-01-30 07:52  524K  
[   ] libcoq-gappa_1.6.0-1+b1_arm64.deb      2025-01-30 07:52  527K  
[   ] libcoq-gappa_1.6.0-1+b1_ppc64el.deb    2025-01-30 07:52  523K  
[   ] libcoq-gappa_1.6.0-1+b1_riscv64.deb    2025-01-30 23:08  525K  
[   ] libcoq-gappa_1.6.0-1+b1_s390x.deb      2025-01-30 09:39  525K  
[   ] libcoq-gappa_1.6.0-1_amd64.deb         2025-01-24 01:35  524K  
[   ] libcoq-gappa_1.6.0-1_arm64.deb         2025-01-24 01:40  527K  
[   ] libcoq-gappa_1.6.0-1_ppc64el.deb       2025-01-24 01:35  523K  
[   ] libcoq-gappa_1.6.0-1_riscv64.deb       2025-01-24 01:40  525K  
[   ] libcoq-gappa_1.6.0-1_s390x.deb         2025-01-24 02:27  525K