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

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                               -   
[   ] coq-iris_3.6.0-1.debian.tar.xz            2022-07-14 19:07   12K  
[TXT] coq-iris_3.6.0-1.dsc                      2022-07-14 19:07  2.1K  
[   ] coq-iris_3.6.0.orig.tar.gz                2022-07-14 19:07  650K  
[   ] coq-iris_4.0.0-1.debian.tar.xz            2022-08-19 11:47   12K  
[TXT] coq-iris_4.0.0-1.dsc                      2022-08-19 11:47  2.1K  
[   ] coq-iris_4.0.0-2.debian.tar.xz            2022-09-11 14:29   12K  
[TXT] coq-iris_4.0.0-2.dsc                      2022-09-11 14:29  2.1K  
[   ] coq-iris_4.0.0-3.debian.tar.xz            2023-01-26 13:44   12K  
[TXT] coq-iris_4.0.0-3.dsc                      2023-01-26 13:44  2.1K  
[   ] coq-iris_4.0.0-4.debian.tar.xz            2023-06-13 07:20   12K  
[TXT] coq-iris_4.0.0-4.dsc                      2023-06-13 07:20  2.1K  
[   ] coq-iris_4.0.0.orig.tar.gz                2022-08-19 11:47  685K  
[   ] coq-iris_4.1.0-1.debian.tar.xz            2023-12-22 12:07   12K  
[TXT] coq-iris_4.1.0-1.dsc                      2023-12-22 12:07  2.1K  
[   ] coq-iris_4.1.0.orig.tar.gz                2023-12-22 12:07  732K  
[   ] coq-iris_4.2.0-2.debian.tar.xz            2024-06-10 18:10   12K  
[TXT] coq-iris_4.2.0-2.dsc                      2024-06-10 18:10  2.1K  
[   ] coq-iris_4.2.0-3.debian.tar.xz            2024-08-04 07:19   12K  
[TXT] coq-iris_4.2.0-3.dsc                      2024-08-04 07:19  1.9K  
[   ] coq-iris_4.2.0.orig.tar.gz                2024-04-26 16:06  747K  
[   ] coq-iris_4.3.0-1.debian.tar.xz            2024-11-20 11:07   12K  
[TXT] coq-iris_4.3.0-1.dsc                      2024-11-20 11:07  2.1K  
[   ] coq-iris_4.3.0.orig.tar.bz2               2024-11-20 11:07  608K  
[   ] libcoq-iris_3.6.0-1_armhf.deb             2022-07-25 00:08   11M  
[   ] libcoq-iris_4.0.0-1_armhf.deb             2022-08-21 18:08   11M  
[   ] libcoq-iris_4.0.0-2+b1_armhf.deb          2022-09-18 18:08   11M  
[   ] libcoq-iris_4.0.0-2+b2_armhf.deb          2022-12-03 05:08   11M  
[   ] libcoq-iris_4.0.0-2_armhf.deb             2022-09-17 12:08   11M  
[   ] libcoq-iris_4.0.0-3+b1_armhf.deb          2023-02-04 19:25   11M  
[   ] libcoq-iris_4.0.0-3+b2_armhf.deb          2023-05-22 00:38   11M  
[   ] libcoq-iris_4.0.0-3+b3_armhf.deb          2023-05-22 12:08   11M  
[   ] libcoq-iris_4.0.0-3_armhf.deb             2023-02-01 23:08   11M  
[   ] libcoq-iris_4.0.0-4_armhf.deb             2023-10-21 00:08   11M  
[   ] libcoq-iris_4.1.0-1+b1_armhf.deb          2024-06-19 00:08   11M  
[   ] libcoq-iris_4.1.0-1_armhf.deb             2024-01-25 23:08   11M  
[   ] libcoq-iris_4.2.0-2_armhf.deb             2024-06-26 00:08   12M  
[   ] libcoq-iris_4.2.0-3_armhf.deb             2024-09-05 05:56   12M