Index of /ubuntu/pool/universe/c/coq-iris

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] coq-iris_4.0.0.orig...> 2022-08-19 20:34  685K  
[   ] coq-iris_4.0.0-3buil..> 2023-02-16 21:50   12K  
[TXT] coq-iris_4.0.0-3buil..> 2023-02-16 21:50  2.1K  
[   ] libcoq-iris_4.0.0-3b..> 2023-02-16 23:44   13M  
[   ] coq-iris_4.0.0-4buil..> 2023-07-26 08:19   12K  
[TXT] coq-iris_4.0.0-4buil..> 2023-07-26 08:19  2.1K  
[   ] libcoq-iris_4.0.0-4b..> 2023-07-26 10:55   13M  
[   ] coq-iris_4.0.0-4buil..> 2023-11-06 19:44   12K  
[TXT] coq-iris_4.0.0-4buil..> 2023-11-06 19:44  2.1K  
[   ] libcoq-iris_4.0.0-4b..> 2023-11-07 14:24   13M  
[   ] coq-iris_4.0.0-4buil..> 2023-11-23 03:05   12K  
[TXT] coq-iris_4.0.0-4buil..> 2023-11-23 03:05  2.1K  
[   ] libcoq-iris_4.0.0-4b..> 2023-11-23 03:40   13M  
[   ] coq-iris_4.0.0-4buil..> 2023-12-23 15:47   12K  
[TXT] coq-iris_4.0.0-4buil..> 2023-12-23 15:47  2.1K  
[TXT] coq-iris_4.1.0-1.dsc    2023-12-23 20:16  2.1K  
[   ] coq-iris_4.1.0.orig...> 2023-12-23 20:16  732K  
[   ] coq-iris_4.1.0-1.deb..> 2023-12-23 20:16   12K  
[   ] libcoq-iris_4.1.0-1_..> 2023-12-23 20:56   16M  
[   ] coq-iris_4.1.0-1buil..> 2024-03-25 21:52   12K  
[TXT] coq-iris_4.1.0-1buil..> 2024-03-25 21:52  2.2K  
[   ] libcoq-iris_4.1.0-1b..> 2024-03-25 22:43   13M  
[   ] coq-iris_4.1.0-1buil..> 2024-03-31 21:36   12K  
[TXT] coq-iris_4.1.0-1buil..> 2024-03-31 21:36  2.2K  
[   ] libcoq-iris_4.1.0-1b..> 2024-03-31 23:36   13M  
[   ] coq-iris_4.1.0-1buil..> 2024-04-08 10:57   12K  
[TXT] coq-iris_4.1.0-1buil..> 2024-04-08 10:57  2.2K  
[   ] libcoq-iris_4.1.0-1b..> 2024-04-08 16:14   13M  
[TXT] coq-iris_4.2.0-1.dsc    2024-05-02 14:53  2.1K  
[   ] coq-iris_4.2.0.orig...> 2024-05-02 14:53  747K  
[   ] coq-iris_4.2.0-1.deb..> 2024-05-02 14:53   12K  
[   ] coq-iris_4.2.0-1buil..> 2024-05-02 23:28   12K  
[TXT] coq-iris_4.2.0-1buil..> 2024-05-02 23:28  2.1K  
[   ] libcoq-iris_4.2.0-1b..> 2024-05-03 01:58   14M  
[   ] coq-iris_4.2.0-1buil..> 2024-05-13 21:39   12K  
[TXT] coq-iris_4.2.0-1buil..> 2024-05-13 21:39  2.1K  
[   ] libcoq-iris_4.2.0-1b..> 2024-05-13 22:24   14M  
[TXT] coq-iris_4.2.0-2.dsc    2024-06-11 02:38  2.1K  
[   ] coq-iris_4.2.0-2.deb..> 2024-06-11 02:38   12K  
[   ] libcoq-iris_4.2.0-2_..> 2024-06-11 03:24   14M  
[   ] coq-iris_4.2.0-2buil..> 2024-06-15 17:43   12K  
[TXT] coq-iris_4.2.0-2buil..> 2024-06-15 17:43  2.1K  
[   ] libcoq-iris_4.2.0-2b..> 2024-06-15 19:49   14M  
[TXT] coq-iris_4.2.0-3.dsc    2024-08-04 14:34  1.9K  
[   ] coq-iris_4.2.0-3.deb..> 2024-08-04 14:34   12K  
[   ] libcoq-iris_4.2.0-3_..> 2024-08-04 19:09   14M  
[   ] coq-iris_4.2.0-3buil..> 2024-08-15 10:47   12K  
[TXT] coq-iris_4.2.0-3buil..> 2024-08-15 10:47  2.1K  
[   ] libcoq-iris_4.2.0-3b..> 2024-08-15 13:32   14M  
[   ] coq-iris_4.2.0-3buil..> 2024-09-07 10:08   12K  
[TXT] coq-iris_4.2.0-3buil..> 2024-09-07 10:08  2.1K  
[   ] libcoq-iris_4.2.0-3b..> 2024-09-07 11:10   14M  
[   ] coq-iris_4.2.0-3buil..> 2024-09-07 22:04   12K  
[TXT] coq-iris_4.2.0-3buil..> 2024-09-07 22:04  2.1K  
[   ] libcoq-iris_4.2.0-3b..> 2024-09-07 22:05   14M