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

Icon  Name                                       Last modified      Size  Description
[PARENTDIR] Parent Directory                                                -   
[   ] coq-deriving_0.1.0-2build2.debian.tar.xz   2023-02-16 10:50  2.0K  
[TXT] coq-deriving_0.1.0-2build2.dsc             2023-02-16 10:50  2.1K  
[   ] coq-deriving_0.1.0.orig.tar.gz             2022-07-18 16:49   29K  
[   ] coq-deriving_0.1.1-1build1.debian.tar.xz   2023-07-24 10:37  2.0K  
[TXT] coq-deriving_0.1.1-1build1.dsc             2023-07-24 10:37  2.1K  
[   ] coq-deriving_0.1.1.orig.tar.gz             2023-06-14 16:24   29K  
[   ] coq-deriving_0.2.0-1build5.debian.tar.xz   2024-04-08 00:57  2.3K  
[TXT] coq-deriving_0.2.0-1build5.dsc             2024-04-08 00:57  2.1K  
[   ] coq-deriving_0.2.0-2build5.debian.tar.xz   2024-06-15 07:43  2.2K  
[TXT] coq-deriving_0.2.0-2build5.dsc             2024-06-15 07:43  2.1K  
[   ] coq-deriving_0.2.0-3.debian.tar.xz         2024-08-04 04:34  2.2K  
[TXT] coq-deriving_0.2.0-3.dsc                   2024-08-04 04:34  1.8K  
[   ] coq-deriving_0.2.0-3build1.debian.tar.xz   2024-08-09 06:49  2.2K  
[TXT] coq-deriving_0.2.0-3build1.dsc             2024-08-09 06:49  2.1K  
[   ] coq-deriving_0.2.0-3build2.debian.tar.xz   2024-09-06 16:05  2.3K  
[TXT] coq-deriving_0.2.0-3build2.dsc             2024-09-06 16:05  2.1K  
[   ] coq-deriving_0.2.0-3build3.debian.tar.xz   2024-09-07 20:03  2.3K  
[TXT] coq-deriving_0.2.0-3build3.dsc             2024-09-07 20:03  2.1K  
[   ] coq-deriving_0.2.0-3build4.debian.tar.xz   2024-09-11 13:51  2.3K  
[TXT] coq-deriving_0.2.0-3build4.dsc             2024-09-11 13:51  2.1K  
[   ] coq-deriving_0.2.0-3build5.debian.tar.xz   2024-09-17 08:51  2.3K  
[TXT] coq-deriving_0.2.0-3build5.dsc             2024-09-17 08:51  2.1K  
[   ] coq-deriving_0.2.0-3build6.debian.tar.xz   2024-11-19 13:41  2.4K  
[TXT] coq-deriving_0.2.0-3build6.dsc             2024-11-19 13:41  2.1K  
[   ] coq-deriving_0.2.0-3build7.debian.tar.xz   2024-11-20 23:16  2.4K  
[TXT] coq-deriving_0.2.0-3build7.dsc             2024-11-20 23:16  2.1K  
[   ] coq-deriving_0.2.0.orig.tar.gz             2023-12-25 09:31   31K  
[   ] coq-deriving_0.2.1-1.debian.tar.xz         2024-12-18 15:41  2.2K  
[TXT] coq-deriving_0.2.1-1.dsc                   2024-12-18 15:41  2.1K  
[   ] coq-deriving_0.2.1-1build1.debian.tar.xz   2024-12-20 06:16  2.2K  
[TXT] coq-deriving_0.2.1-1build1.dsc             2024-12-20 06:16  2.1K  
[   ] coq-deriving_0.2.1-1build10.debian.tar.xz  2025-10-22 17:05  2.4K  
[TXT] coq-deriving_0.2.1-1build10.dsc            2025-10-22 17:05  2.1K  
[   ] coq-deriving_0.2.1-1build11.debian.tar.xz  2025-11-06 01:20  2.4K  
[TXT] coq-deriving_0.2.1-1build11.dsc            2025-11-06 01:20  2.1K  
[   ] coq-deriving_0.2.1-1build12.debian.tar.xz  2026-01-04 15:06  2.4K  
[TXT] coq-deriving_0.2.1-1build12.dsc            2026-01-04 15:06  2.1K  
[   ] coq-deriving_0.2.1-1build13.debian.tar.xz  2026-01-27 16:59  2.5K  
[TXT] coq-deriving_0.2.1-1build13.dsc            2026-01-27 16:59  2.1K  
[   ] coq-deriving_0.2.1-1build14.debian.tar.xz  2026-03-07 11:00  2.5K  
[TXT] coq-deriving_0.2.1-1build14.dsc            2026-03-07 11:00  2.1K  
[   ] coq-deriving_0.2.1-1build2.debian.tar.xz   2025-01-23 01:05  2.3K  
[TXT] coq-deriving_0.2.1-1build2.dsc             2025-01-23 01:05  2.1K  
[   ] coq-deriving_0.2.1-1build3.debian.tar.xz   2025-01-30 13:56  2.3K  
[TXT] coq-deriving_0.2.1-1build3.dsc             2025-01-30 13:56  2.1K  
[   ] coq-deriving_0.2.1-1build4.debian.tar.xz   2025-02-12 14:46  2.3K  
[TXT] coq-deriving_0.2.1-1build4.dsc             2025-02-12 14:46  2.1K  
[   ] coq-deriving_0.2.1-1build5.debian.tar.xz   2025-02-18 23:52  2.3K  
[TXT] coq-deriving_0.2.1-1build5.dsc             2025-02-18 23:52  2.1K  
[   ] coq-deriving_0.2.1-1build6.debian.tar.xz   2025-05-08 04:58  2.4K  
[TXT] coq-deriving_0.2.1-1build6.dsc             2025-05-08 04:58  2.1K  
[   ] coq-deriving_0.2.1-1build7.debian.tar.xz   2025-05-28 01:21  2.4K  
[TXT] coq-deriving_0.2.1-1build7.dsc             2025-05-28 01:21  2.1K  
[   ] coq-deriving_0.2.1-1build8.debian.tar.xz   2025-06-19 10:20  2.4K  
[TXT] coq-deriving_0.2.1-1build8.dsc             2025-06-19 10:20  2.1K  
[   ] coq-deriving_0.2.1-1build9.debian.tar.xz   2025-08-31 12:42  2.4K  
[TXT] coq-deriving_0.2.1-1build9.dsc             2025-08-31 12:42  2.1K  
[   ] coq-deriving_0.2.1.orig.tar.gz             2024-12-18 15:41   31K  
[   ] libcoq-deriving_0.1.0-2build2_amd64.deb    2023-02-16 10:50  468K  
[   ] libcoq-deriving_0.1.1-1build1_amd64.deb    2023-07-25 10:19  468K  
[   ] libcoq-deriving_0.2.0-1build5_amd64.deb    2024-04-08 10:55  480K  
[   ] libcoq-deriving_0.2.0-2build5_amd64.deb    2024-06-15 14:48  508K  
[   ] libcoq-deriving_0.2.0-3_amd64.deb          2024-08-04 18:04  508K  
[   ] libcoq-deriving_0.2.0-3build1_amd64.deb    2024-08-14 15:17  508K  
[   ] libcoq-deriving_0.2.0-3build2_amd64.deb    2024-09-07 09:34  508K  
[   ] libcoq-deriving_0.2.0-3build3_amd64.deb    2024-09-07 20:03  508K  
[   ] libcoq-deriving_0.2.0-3build4_amd64.deb    2024-09-12 14:28  508K  
[   ] libcoq-deriving_0.2.0-3build5_amd64.deb    2024-09-19 16:39  508K  
[   ] libcoq-deriving_0.2.0-3build6_amd64.deb    2024-11-19 23:47  508K  
[   ] libcoq-deriving_0.2.0-3build7_amd64.deb    2024-11-21 06:01  490K  
[   ] libcoq-deriving_0.2.1-1_amd64.deb          2024-12-18 16:49  492K  
[   ] libcoq-deriving_0.2.1-1build10_amd64.deb   2025-10-26 01:16  544K  
[   ] libcoq-deriving_0.2.1-1build10_amd64v3.deb 2025-10-26 01:16  544K  
[   ] libcoq-deriving_0.2.1-1build11_amd64.deb   2025-11-06 12:01  544K  
[   ] libcoq-deriving_0.2.1-1build11_amd64v3.deb 2025-11-06 12:01  544K  
[   ] libcoq-deriving_0.2.1-1build12_amd64.deb   2026-01-05 16:08  544K  
[   ] libcoq-deriving_0.2.1-1build12_amd64v3.deb 2026-01-05 16:09  544K  
[   ] libcoq-deriving_0.2.1-1build13_amd64.deb   2026-01-30 23:24  544K  
[   ] libcoq-deriving_0.2.1-1build13_amd64v3.deb 2026-01-31 00:18  544K  
[   ] libcoq-deriving_0.2.1-1build14_amd64.deb   2026-03-07 11:01  545K  
[   ] libcoq-deriving_0.2.1-1build14_amd64v3.deb 2026-03-07 11:02  545K  
[   ] libcoq-deriving_0.2.1-1build14_arm64.deb   2026-03-08 01:04  545K  
[   ] libcoq-deriving_0.2.1-1build1_amd64.deb    2024-12-20 06:16  546K  
[   ] libcoq-deriving_0.2.1-1build2_amd64.deb    2025-01-26 01:36  546K  
[   ] libcoq-deriving_0.2.1-1build3_amd64.deb    2025-02-01 18:04  546K  
[   ] libcoq-deriving_0.2.1-1build4_amd64.deb    2025-02-15 11:04  546K  
[   ] libcoq-deriving_0.2.1-1build5_amd64.deb    2025-02-19 20:20  546K  
[   ] libcoq-deriving_0.2.1-1build6_amd64.deb    2025-05-08 08:28  545K  
[   ] libcoq-deriving_0.2.1-1build7_amd64.deb    2025-05-28 07:51  544K  
[   ] libcoq-deriving_0.2.1-1build8_amd64.deb    2025-06-20 06:23  545K  
[   ] libcoq-deriving_0.2.1-1build9_amd64.deb    2025-09-01 12:52  544K  
[   ] libcoq-deriving_0.2.1-1build9_arm64.deb    2025-09-01 12:52  544K