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

 Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 coq-deriving_0.1.0-2build2.debian.tar.xz  2023-02-16 19:50  2.0K  
 coq-deriving_0.1.0-2build2.dsc            2023-02-16 19:50  2.1K  
 coq-deriving_0.1.0.orig.tar.gz            2022-07-19 01:49   29K  
 coq-deriving_0.1.1-1build1.debian.tar.xz  2023-07-24 19:37  2.0K  
 coq-deriving_0.1.1-1build1.dsc            2023-07-24 19:37  2.1K  
 coq-deriving_0.1.1.orig.tar.gz            2023-06-15 01:24   29K  
 coq-deriving_0.2.0-1build5.debian.tar.xz  2024-04-08 09:57  2.3K  
 coq-deriving_0.2.0-1build5.dsc            2024-04-08 09:57  2.1K  
 coq-deriving_0.2.0-2build1.debian.tar.xz  2024-05-02 22:28  2.2K  
 coq-deriving_0.2.0-2build1.dsc            2024-05-02 22:28  2.1K  
 coq-deriving_0.2.0.orig.tar.gz            2023-12-25 18:31   31K  
 libcoq-deriving_0.1.0-2build2_arm64.deb   2023-02-16 19:50  468K  
 libcoq-deriving_0.1.0-2build2_armhf.deb   2023-02-16 19:50  468K  
 libcoq-deriving_0.1.0-2build2_ppc64el.deb 2023-02-16 19:50  468K  
 libcoq-deriving_0.1.0-2build2_riscv64.deb 2023-02-17 03:34  468K  
 libcoq-deriving_0.1.0-2build2_s390x.deb   2023-02-16 20:44  468K  
 libcoq-deriving_0.1.1-1build1_arm64.deb   2023-07-25 19:19  468K  
 libcoq-deriving_0.1.1-1build1_armhf.deb   2023-07-25 19:19  467K  
 libcoq-deriving_0.1.1-1build1_ppc64el.deb 2023-07-25 19:19  468K  
 libcoq-deriving_0.1.1-1build1_riscv64.deb 2023-07-26 02:25  468K  
 libcoq-deriving_0.1.1-1build1_s390x.deb   2023-07-25 19:19  468K  
 libcoq-deriving_0.2.0-1build5_arm64.deb   2024-04-08 21:24  480K  
 libcoq-deriving_0.2.0-1build5_armhf.deb   2024-04-08 21:24  480K  
 libcoq-deriving_0.2.0-1build5_ppc64el.deb 2024-04-08 22:09  480K  
 libcoq-deriving_0.2.0-1build5_riscv64.deb 2024-04-09 07:15  480K  
 libcoq-deriving_0.2.0-1build5_s390x.deb   2024-04-09 05:08  480K  
 libcoq-deriving_0.2.0-2_s390x.deb         2024-05-02 13:53  480K  
 libcoq-deriving_0.2.0-2build1_arm64.deb   2024-05-04 16:03  509K  
 libcoq-deriving_0.2.0-2build1_armhf.deb   2024-05-09 08:45  480K  
 libcoq-deriving_0.2.0-2build1_ppc64el.deb 2024-05-04 09:33  509K  
 libcoq-deriving_0.2.0-2build1_riscv64.deb 2024-05-07 23:14  509K