Index of /sites/raspbian.org/raspbian/pool/main/c/coq-unicoq

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                               -   
[   ] coq-unicoq_1.6-8.15-2.debian.tar.xz       2022-07-19 09:20  2.2K  
[TXT] coq-unicoq_1.6-8.15-2.dsc                 2022-07-19 09:20  2.0K  
[   ] coq-unicoq_1.6-8.15.orig.tar.gz           2022-07-19 09:20  580K  
[   ] coq-unicoq_1.6-8.16-1.debian.tar.xz       2022-09-06 11:09  2.3K  
[TXT] coq-unicoq_1.6-8.16-1.dsc                 2022-09-06 11:09  2.0K  
[   ] coq-unicoq_1.6-8.16-2.debian.tar.xz       2023-01-25 09:07  2.3K  
[TXT] coq-unicoq_1.6-8.16-2.dsc                 2023-01-25 09:07  2.0K  
[   ] coq-unicoq_1.6-8.16.orig.tar.gz           2022-09-06 11:09  580K  
[   ] coq-unicoq_1.6-8.17-1.debian.tar.xz       2023-06-12 22:34  2.4K  
[TXT] coq-unicoq_1.6-8.17-1.dsc                 2023-06-12 22:34  2.0K  
[   ] coq-unicoq_1.6-8.17.orig.tar.gz           2023-06-12 22:34  580K  
[   ] coq-unicoq_1.6-8.18-1.debian.tar.xz       2023-12-22 11:21  2.5K  
[TXT] coq-unicoq_1.6-8.18-1.dsc                 2023-12-22 11:21  2.0K  
[   ] coq-unicoq_1.6-8.18.orig.tar.gz           2023-12-22 11:21  580K  
[   ] coq-unicoq_1.6-8.19-1.debian.tar.xz       2024-04-26 16:01  2.5K  
[TXT] coq-unicoq_1.6-8.19-1.dsc                 2024-04-26 16:01  2.0K  
[   ] coq-unicoq_1.6-8.19-2.debian.tar.xz       2024-08-04 05:53  2.6K  
[TXT] coq-unicoq_1.6-8.19-2.dsc                 2024-08-04 05:53  1.8K  
[   ] coq-unicoq_1.6-8.19.orig.tar.gz           2024-04-26 16:01  580K  
[   ] coq-unicoq_1.6-8.20-1.debian.tar.xz       2024-11-23 16:22  2.7K  
[TXT] coq-unicoq_1.6-8.20-1.dsc                 2024-11-23 16:22  2.0K  
[   ] coq-unicoq_1.6-8.20.orig.tar.gz           2024-11-23 16:22  580K  
[   ] libcoq-unicoq_1.6-8.15-2_armhf.deb        2022-07-28 00:08   74K  
[   ] libcoq-unicoq_1.6-8.16-1+b1_armhf.deb     2022-12-02 17:08   75K  
[   ] libcoq-unicoq_1.6-8.16-1_armhf.deb        2022-09-18 00:08   74K  
[   ] libcoq-unicoq_1.6-8.16-2+b1_armhf.deb     2023-02-03 03:54   75K  
[   ] libcoq-unicoq_1.6-8.16-2+b2_armhf.deb     2023-05-21 03:16   74K  
[   ] libcoq-unicoq_1.6-8.16-2_armhf.deb        2023-01-30 23:08   74K  
[   ] libcoq-unicoq_1.6-8.17-1_armhf.deb        2023-10-20 12:08   75K  
[   ] libcoq-unicoq_1.6-8.18-1+b1_armhf.deb     2024-06-18 13:11   76K  
[   ] libcoq-unicoq_1.6-8.18-1_armhf.deb        2024-01-23 17:08   75K  
[   ] libcoq-unicoq_1.6-8.19-1_armhf.deb        2024-06-26 00:08   78K  
[   ] libcoq-unicoq_1.6-8.19-2_armhf.deb        2024-09-05 00:08   78K