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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 libcoq-stdpp_1.9.0-1..> 2023-12-23 01:01  6.3M  
 libcoq-stdpp_1.11.0-..> 2024-11-20 21:48  5.4M  
 libcoq-stdpp_1.11.0-..> 2024-11-21 06:11  5.4M  
 libcoq-stdpp_1.10.0-..> 2024-05-02 23:28  5.2M  
 libcoq-stdpp_1.10.0-..> 2024-05-13 21:40  5.2M  
 libcoq-stdpp_1.10.0-..> 2024-08-04 14:34  5.2M  
 libcoq-stdpp_1.10.0-..> 2024-09-07 02:05  5.2M  
 libcoq-stdpp_1.10.0-..> 2024-06-15 18:23  5.2M  
 libcoq-stdpp_1.10.0-..> 2024-08-15 10:47  5.2M  
 libcoq-stdpp_1.10.0-..> 2024-09-07 18:44  5.2M  
 libcoq-stdpp_1.10.0-..> 2024-05-02 15:38  5.1M  
 libcoq-stdpp_1.9.0-1..> 2024-03-31 22:32  5.0M  
 libcoq-stdpp_1.9.0-1..> 2024-04-08 10:57  5.0M  
 libcoq-stdpp_1.9.0-1..> 2024-03-24 03:53  5.0M  
 libcoq-stdpp_1.8.0-3..> 2023-02-16 21:50  4.5M  
 libcoq-stdpp_1.8.0-4..> 2023-11-06 19:44  4.5M  
 libcoq-stdpp_1.8.0-4..> 2023-11-23 03:05  4.5M  
 libcoq-stdpp_1.8.0-4..> 2023-07-26 09:22  4.5M  
 coq-stdpp_1.10.0.ori..> 2024-05-02 15:38  296K  
 coq-stdpp_1.9.0.orig..> 2023-12-22 20:26  291K  
 coq-stdpp_1.11.0.ori..> 2024-11-20 21:47  251K  
 coq-stdpp_1.8.0.orig..> 2022-08-19 20:34  249K  
 coq-stdpp_1.10.0-2bu..> 2024-09-07 18:43  2.8K  
 coq-stdpp_1.10.0-2bu..> 2024-09-07 02:05  2.8K  
 coq-stdpp_1.11.0-1bu..> 2024-11-21 06:11  2.8K  
 coq-stdpp_1.10.0-2bu..> 2024-08-15 10:47  2.8K  
 coq-stdpp_1.9.0-1bui..> 2024-04-08 10:57  2.7K  
 coq-stdpp_1.11.0-1.d..> 2024-11-20 21:47  2.7K  
 coq-stdpp_1.10.0-2.d..> 2024-08-04 14:34  2.7K  
 coq-stdpp_1.9.0-1bui..> 2024-03-31 21:36  2.7K  
 coq-stdpp_1.10.0-1bu..> 2024-06-15 17:43  2.7K  
 coq-stdpp_1.10.0-1bu..> 2024-05-13 21:39  2.6K  
 coq-stdpp_1.9.0-1bui..> 2024-03-24 03:53  2.6K  
 coq-stdpp_1.10.0-1bu..> 2024-05-02 23:28  2.6K  
 coq-stdpp_1.10.0-1.d..> 2024-05-02 15:38  2.6K  
 coq-stdpp_1.9.0-1.de..> 2023-12-22 20:26  2.5K  
 coq-stdpp_1.8.0-4bui..> 2023-11-23 03:05  2.5K  
 coq-stdpp_1.8.0-4bui..> 2023-11-06 19:14  2.5K  
 coq-stdpp_1.8.0-4bui..> 2023-07-26 08:19  2.4K  
 coq-stdpp_1.8.0-3bui..> 2023-02-16 21:50  2.4K  
 coq-stdpp_1.9.0-1bui..> 2024-03-31 21:36  2.1K  
 coq-stdpp_1.9.0-1bui..> 2024-03-24 03:53  2.1K  
 coq-stdpp_1.9.0-1bui..> 2024-04-08 10:57  2.1K  
 coq-stdpp_1.11.0-1.dsc  2024-11-20 21:47  2.0K  
 coq-stdpp_1.11.0-1bu..> 2024-11-21 06:11  2.0K  
 coq-stdpp_1.10.0-1.dsc  2024-05-02 15:38  2.0K  
 coq-stdpp_1.10.0-2bu..> 2024-09-07 18:43  2.0K  
 coq-stdpp_1.10.0-2bu..> 2024-09-07 02:05  2.0K  
 coq-stdpp_1.10.0-2bu..> 2024-08-15 10:47  2.0K  
 coq-stdpp_1.10.0-1bu..> 2024-06-15 17:43  2.0K  
 coq-stdpp_1.10.0-1bu..> 2024-05-13 21:39  2.0K  
 coq-stdpp_1.10.0-1bu..> 2024-05-02 23:28  2.0K  
 coq-stdpp_1.9.0-1.dsc   2023-12-22 20:26  2.0K  
 coq-stdpp_1.8.0-4bui..> 2023-11-23 03:05  2.0K  
 coq-stdpp_1.8.0-4bui..> 2023-11-06 19:14  2.0K  
 coq-stdpp_1.8.0-4bui..> 2023-07-26 08:19  2.0K  
 coq-stdpp_1.8.0-3bui..> 2023-02-16 21:50  2.0K  
 coq-stdpp_1.10.0-2.dsc  2024-08-04 14:34  1.8K