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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq-deriving_0.2.0-1..> 08-Apr-2024 07:57  2.3K  
 coq-deriving_0.2.0-1..> 08-Apr-2024 07:57  2.1K  
 coq-deriving_0.2.0-3..> 17-Sep-2024 15:51  2.3K  
 coq-deriving_0.2.0-3..> 17-Sep-2024 15:51  2.1K  
 coq-deriving_0.2.0-3..> 21-Nov-2024 07:16  2.4K  
 coq-deriving_0.2.0-3..> 21-Nov-2024 07:16  2.1K  
 coq-deriving_0.2.0.o..> 25-Dec-2023 17:31   31K  
 libcoq-deriving_0.2...> 08-Apr-2024 17:55  480K  
 libcoq-deriving_0.2...> 19-Sep-2024 23:39  508K  
 libcoq-deriving_0.2...> 21-Nov-2024 14:01  490K