Index of /ubuntu/pool/universe/c/coq-reduction-effects

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] coq-reduction-effect..> 2023-02-16 21:50  1.6K  
[TXT] coq-reduction-effect..> 2023-02-16 21:50  2.2K  
[   ] coq-reduction-effect..> 2023-07-26 08:19  1.7K  
[TXT] coq-reduction-effect..> 2023-07-26 08:19  2.2K  
[   ] coq-reduction-effect..> 2023-11-06 19:14  1.7K  
[TXT] coq-reduction-effect..> 2023-11-06 19:14  2.2K  
[   ] coq-reduction-effect..> 2023-11-23 03:05  1.8K  
[TXT] coq-reduction-effect..> 2023-11-23 03:05  2.2K  
[   ] coq-reduction-effect..> 2022-08-13 14:24   10K  
[   ] coq-reduction-effect..> 2023-12-22 20:26  1.7K  
[TXT] coq-reduction-effect..> 2023-12-22 20:26  2.2K  
[   ] coq-reduction-effect..> 2024-03-24 03:53  1.8K  
[TXT] coq-reduction-effect..> 2024-03-24 03:53  2.3K  
[   ] coq-reduction-effect..> 2024-03-31 21:36  1.8K  
[TXT] coq-reduction-effect..> 2024-03-31 21:36  2.3K  
[   ] coq-reduction-effect..> 2024-04-08 10:57  1.9K  
[TXT] coq-reduction-effect..> 2024-04-08 10:57  2.2K  
[   ] coq-reduction-effect..> 2024-05-02 14:53  1.8K  
[TXT] coq-reduction-effect..> 2024-05-02 14:53  2.2K  
[   ] coq-reduction-effect..> 2024-05-02 23:28  1.8K  
[TXT] coq-reduction-effect..> 2024-05-02 23:28  2.2K  
[   ] coq-reduction-effect..> 2024-05-13 21:39  1.8K  
[TXT] coq-reduction-effect..> 2024-05-13 21:39  2.2K  
[   ] coq-reduction-effect..> 2024-06-15 17:43  1.9K  
[TXT] coq-reduction-effect..> 2024-06-15 17:43  2.2K  
[   ] coq-reduction-effect..> 2024-08-04 14:34  1.8K  
[TXT] coq-reduction-effect..> 2024-08-04 14:34  1.9K  
[   ] coq-reduction-effect..> 2024-08-15 10:47  1.9K  
[TXT] coq-reduction-effect..> 2024-08-15 10:47  2.2K  
[   ] coq-reduction-effect..> 2024-09-07 02:05  2.0K  
[TXT] coq-reduction-effect..> 2024-09-07 02:05  2.2K  
[   ] coq-reduction-effect..> 2024-09-07 18:43  2.0K  
[TXT] coq-reduction-effect..> 2024-09-07 18:43  2.2K  
[   ] coq-reduction-effect..> 2023-12-22 20:26   10K  
[   ] libcoq-reduction-eff..> 2023-02-16 21:50   14K  
[   ] libcoq-reduction-eff..> 2023-07-26 09:22   14K  
[   ] libcoq-reduction-eff..> 2023-11-06 19:44   14K  
[   ] libcoq-reduction-eff..> 2023-11-23 03:05   14K  
[   ] libcoq-reduction-eff..> 2023-12-23 01:01   15K  
[   ] libcoq-reduction-eff..> 2024-03-24 03:53   14K  
[   ] libcoq-reduction-eff..> 2024-03-31 22:32   14K  
[   ] libcoq-reduction-eff..> 2024-04-08 10:57   14K  
[   ] libcoq-reduction-eff..> 2024-05-02 14:53   14K  
[   ] libcoq-reduction-eff..> 2024-05-02 23:28   14K  
[   ] libcoq-reduction-eff..> 2024-05-13 21:40   14K  
[   ] libcoq-reduction-eff..> 2024-06-15 17:43   15K  
[   ] libcoq-reduction-eff..> 2024-08-04 14:34   15K  
[   ] libcoq-reduction-eff..> 2024-08-15 10:47   15K  
[   ] libcoq-reduction-eff..> 2024-09-07 02:05   16K  
[   ] libcoq-reduction-eff..> 2024-09-07 18:44   16K