Index of /ubuntu-ports/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-3.debian.tar.xz          2024-08-04 13:34  2.2K  
 coq-deriving_0.2.0-3.dsc                    2024-08-04 13:34  1.8K  
 coq-deriving_0.2.0-3build2.debian.tar.xz    2024-09-07 01:05  2.3K  
 coq-deriving_0.2.0-3build2.dsc              2024-09-07 01:05  2.1K  
 coq-deriving_0.2.0-3build3.debian.tar.xz    2024-09-08 05:03  2.3K  
 coq-deriving_0.2.0-3build3.dsc              2024-09-08 05:03  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-3_arm64.deb           2024-08-05 03:05  507K  
 libcoq-deriving_0.2.0-3_ppc64el.deb         2024-08-05 03:05  508K  
 libcoq-deriving_0.2.0-3_riscv64.deb         2024-08-05 14:09  507K  
 libcoq-deriving_0.2.0-3_s390x.deb           2024-08-05 03:05  508K  
 libcoq-deriving_0.2.0-3build1_riscv64.deb   2024-08-16 16:02  508K  
 libcoq-deriving_0.2.0-3build2_arm64.deb     2024-09-07 21:05  508K  
 libcoq-deriving_0.2.0-3build2_ppc64el.deb   2024-09-07 21:05  508K  
 libcoq-deriving_0.2.0-3build2_s390x.deb     2024-09-07 21:05  508K  
 libcoq-deriving_0.2.0-3build3_arm64.deb     2024-09-08 05:03  508K  
 libcoq-deriving_0.2.0-3build3_ppc64el.deb   2024-09-08 05:03  508K  
 libcoq-deriving_0.2.0-3build3_riscv64.deb   2024-09-08 05:48  508K  
 libcoq-deriving_0.2.0-3build3_s390x.deb     2024-09-08 05:03  508K