Index of /ubuntu/pool/universe/c/coq-simple-io

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] coq-simple-io_1.10.0-1.debian.tar.xz        2024-11-20 10:47  2.6K  
[TXT] coq-simple-io_1.10.0-1.dsc                  2024-11-20 10:47  2.1K  
[   ] coq-simple-io_1.10.0-1build1.debian.tar.xz  2024-11-20 23:16  2.7K  
[TXT] coq-simple-io_1.10.0-1build1.dsc            2024-11-20 23:16  2.1K  
[   ] coq-simple-io_1.10.0-1build2.debian.tar.xz  2025-01-10 04:21  2.7K  
[TXT] coq-simple-io_1.10.0-1build2.dsc            2025-01-10 04:21  2.1K  
[   ] coq-simple-io_1.10.0-1build3.debian.tar.xz  2025-02-01 23:27  2.8K  
[TXT] coq-simple-io_1.10.0-1build3.dsc            2025-02-01 23:27  2.1K  
[   ] coq-simple-io_1.10.0-1build4.debian.tar.xz  2025-02-13 16:54  2.8K  
[TXT] coq-simple-io_1.10.0-1build4.dsc            2025-02-13 16:54  2.1K  
[   ] coq-simple-io_1.10.0-1build5.debian.tar.xz  2025-02-18 18:07  2.8K  
[TXT] coq-simple-io_1.10.0-1build5.dsc            2025-02-18 18:07  2.1K  
[   ] coq-simple-io_1.10.0-1build6.debian.tar.xz  2025-02-18 23:52  2.8K  
[TXT] coq-simple-io_1.10.0-1build6.dsc            2025-02-18 23:52  2.1K  
[   ] coq-simple-io_1.10.0.orig.tar.gz            2024-11-20 10:47   34K  
[   ] coq-simple-io_1.11.0-1.debian.tar.xz        2025-05-01 09:23  2.6K  
[TXT] coq-simple-io_1.11.0-1.dsc                  2025-05-01 09:23  2.1K  
[   ] coq-simple-io_1.11.0-1build1.debian.tar.xz  2025-06-20 06:22  2.7K  
[TXT] coq-simple-io_1.11.0-1build1.dsc            2025-06-20 06:22  2.1K  
[   ] coq-simple-io_1.11.0-1build2.debian.tar.xz  2026-01-05 12:02  2.7K  
[TXT] coq-simple-io_1.11.0-1build2.dsc            2026-01-05 12:02  2.1K  
[   ] coq-simple-io_1.11.0-1build3.debian.tar.xz  2026-01-29 11:54  2.7K  
[TXT] coq-simple-io_1.11.0-1build3.dsc            2026-01-29 11:54  2.1K  
[   ] coq-simple-io_1.11.0-1build4.debian.tar.xz  2026-03-04 09:33  2.8K  
[TXT] coq-simple-io_1.11.0-1build4.dsc            2026-03-04 09:33  2.1K  
[   ] coq-simple-io_1.11.0.orig.tar.gz            2025-05-01 09:23   35K  
[   ] coq-simple-io_1.8.0-2ubuntu2.debian.tar.xz  2023-02-16 10:50  2.2K  
[TXT] coq-simple-io_1.8.0-2ubuntu2.dsc            2023-02-16 10:50  2.1K  
[   ] coq-simple-io_1.8.0-3ubuntu2.debian.tar.xz  2023-07-25 22:19  2.4K  
[TXT] coq-simple-io_1.8.0-3ubuntu2.dsc            2023-07-25 22:19  2.1K  
[   ] coq-simple-io_1.8.0-4ubuntu4.debian.tar.xz  2024-04-08 00:57  3.3K  
[TXT] coq-simple-io_1.8.0-4ubuntu4.dsc            2024-04-08 00:57  2.2K  
[   ] coq-simple-io_1.8.0.orig.tar.gz             2022-11-05 07:08   32K  
[   ] coq-simple-io_1.9.0-1build3.debian.tar.xz   2024-06-15 07:43  2.6K  
[TXT] coq-simple-io_1.9.0-1build3.dsc             2024-06-15 07:43  2.1K  
[   ] coq-simple-io_1.9.0-2.debian.tar.xz         2024-08-04 04:34  2.6K  
[TXT] coq-simple-io_1.9.0-2.dsc                   2024-08-04 04:34  1.9K  
[   ] coq-simple-io_1.9.0-2build1.debian.tar.xz   2024-08-15 00:47  2.6K  
[TXT] coq-simple-io_1.9.0-2build1.dsc             2024-08-15 00:47  2.1K  
[   ] coq-simple-io_1.9.0-2build2.debian.tar.xz   2024-09-07 00:08  2.7K  
[TXT] coq-simple-io_1.9.0-2build2.dsc             2024-09-07 00:08  2.1K  
[   ] coq-simple-io_1.9.0-2build3.debian.tar.xz   2024-09-07 12:04  2.7K  
[TXT] coq-simple-io_1.9.0-2build3.dsc             2024-09-07 12:04  2.1K  
[   ] coq-simple-io_1.9.0.orig.tar.gz             2024-05-02 01:09   33K  
[   ] libcoq-simple-io_1.10.0-1_amd64.deb         2024-11-20 10:48  271K  
[   ] libcoq-simple-io_1.10.0-1build1_amd64.deb   2024-11-21 00:16  267K  
[   ] libcoq-simple-io_1.10.0-1build2_amd64.deb   2025-01-10 04:22  267K  
[   ] libcoq-simple-io_1.10.0-1build3_amd64.deb   2025-02-01 23:27  267K  
[   ] libcoq-simple-io_1.10.0-1build4_amd64.deb   2025-02-14 00:30  267K  
[   ] libcoq-simple-io_1.10.0-1build5_amd64.deb   2025-02-18 21:19  267K  
[   ] libcoq-simple-io_1.10.0-1build6_amd64.deb   2025-02-18 23:53  267K  
[   ] libcoq-simple-io_1.11.0-1_amd64.deb         2025-05-01 12:15  277K  
[   ] libcoq-simple-io_1.11.0-1build1_amd64.deb   2025-06-20 10:40  277K  
[   ] libcoq-simple-io_1.11.0-1build1_arm64.deb   2025-06-20 10:40  280K  
[   ] libcoq-simple-io_1.11.0-1build2_amd64.deb   2026-01-05 16:08  244K  
[   ] libcoq-simple-io_1.11.0-1build2_amd64v3.deb 2026-01-05 16:09  244K  
[   ] libcoq-simple-io_1.11.0-1build3_amd64.deb   2026-01-30 01:03  244K  
[   ] libcoq-simple-io_1.11.0-1build3_amd64v3.deb 2026-01-30 01:03  244K  
[   ] libcoq-simple-io_1.11.0-1build4_amd64.deb   2026-03-04 09:34  244K  
[   ] libcoq-simple-io_1.11.0-1build4_amd64v3.deb 2026-03-04 09:34  244K  
[   ] libcoq-simple-io_1.11.0-1build4_arm64.deb   2026-03-04 09:34  249K  
[   ] libcoq-simple-io_1.8.0-2ubuntu2_amd64.deb   2023-02-16 12:44   95K  
[   ] libcoq-simple-io_1.8.0-3ubuntu2_amd64.deb   2023-07-26 00:55   95K  
[   ] libcoq-simple-io_1.8.0-4ubuntu4_amd64.deb   2024-04-08 03:59   96K  
[   ] libcoq-simple-io_1.9.0-1build3_amd64.deb    2024-06-15 09:49  209K  
[   ] libcoq-simple-io_1.9.0-2_amd64.deb          2024-08-04 12:00  225K  
[   ] libcoq-simple-io_1.9.0-2build1_amd64.deb    2024-08-15 03:32  267K  
[   ] libcoq-simple-io_1.9.0-2build2_amd64.deb    2024-09-07 01:10  268K  
[   ] libcoq-simple-io_1.9.0-2build3_amd64.deb    2024-09-07 12:05  267K