Index of /pub/Linux/raspbian/raspbian/pool/main/c/coq-equations

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                               -   
[   ] coq-equations_1.3-8.16-2.debian.tar.xz    2023-01-26 21:44  2.2K  
[TXT] coq-equations_1.3-8.16-2.dsc              2023-01-26 21:44  2.1K  
[   ] coq-equations_1.3-8.16.orig.tar.gz        2022-09-06 18:09  1.0M  
[   ] coq-equations_1.3-8.18-1.debian.tar.xz    2023-12-22 20:07  2.6K  
[TXT] coq-equations_1.3-8.18-1.dsc              2023-12-22 20:07  2.1K  
[   ] coq-equations_1.3-8.18.orig.tar.gz        2023-12-22 20:07  1.1M  
[   ] libcoq-equations_1.3-8.16-2+b2_armhf.deb  2023-05-22 13:08  1.3M  
[   ] libcoq-equations_1.3-8.18-1_armhf.deb     2024-02-21 19:08  1.3M