Index of /ubuntu/pool/universe/c/coquelicot

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] libcoq-coquelicot_3...> 2024-11-21 17:01 3.7M [   ] libcoq-coquelicot_3...> 2024-11-20 21:48 3.7M [   ] libcoq-coquelicot_3...> 2024-11-20 10:47 3.7M [   ] libcoq-coquelicot_3...> 2024-09-20 02:39 3.7M [   ] libcoq-coquelicot_3...> 2024-09-13 00:28 3.7M [   ] libcoq-coquelicot_3...> 2024-09-08 06:03 3.7M [   ] libcoq-coquelicot_3...> 2024-09-07 19:34 3.7M [   ] libcoq-coquelicot_3...> 2024-08-15 10:47 3.7M [   ] libcoq-coquelicot_3...> 2024-08-15 01:17 3.7M [   ] libcoq-coquelicot_3...> 2024-08-05 05:54 3.7M [   ] libcoq-coquelicot_3...> 2024-06-16 00:48 3.7M [   ] libcoq-coquelicot_3...> 2024-06-06 00:43 3.7M [   ] libcoq-coquelicot_3...> 2024-05-21 17:14 3.7M [   ] libcoq-coquelicot_3...> 2024-05-13 21:40 3.7M [   ] libcoq-coquelicot_3...> 2024-05-03 14:29 3.7M [   ] libcoq-coquelicot_3...> 2024-04-08 17:36 3.6M [   ] libcoq-coquelicot_3...> 2024-03-31 22:32 3.6M [   ] libcoq-coquelicot_3...> 2024-03-25 02:33 3.6M [   ] libcoq-coquelicot_3...> 2024-02-17 18:52 3.6M [   ] libcoq-coquelicot_3...> 2024-01-28 04:05 3.6M [   ] libcoq-coquelicot_3...> 2023-12-25 20:31 4.6M [   ] libcoq-coquelicot_3...> 2023-12-23 15:47 4.5M [   ] libcoq-coquelicot_3...> 2023-11-23 03:05 3.6M [   ] libcoq-coquelicot_3...> 2023-11-15 19:25 3.6M [   ] libcoq-coquelicot_3...> 2023-07-25 20:19 3.6M [   ] libcoq-coquelicot_3...> 2023-02-16 21:50 3.6M [   ] coquelicot_3.4.2.ori..> 2024-11-20 21:47 225K [TXT] coquelicot_3.4.2-1bu..> 2024-11-21 10:16 2.0K [   ] coquelicot_3.4.2-1bu..> 2024-11-21 10:16 2.3K [TXT] coquelicot_3.4.2-1.dsc 2024-11-20 21:47 2.0K [   ] coquelicot_3.4.2-1.d..> 2024-11-20 21:47 2.2K [   ] coquelicot_3.4.1.ori..> 2024-01-21 02:35 275K [TXT] coquelicot_3.4.1-3bu..> 2024-11-20 00:41 2.0K [   ] coquelicot_3.4.1-3bu..> 2024-11-20 00:41 2.3K [TXT] coquelicot_3.4.1-3bu..> 2024-09-17 18:51 2.0K [   ] coquelicot_3.4.1-3bu..> 2024-09-17 18:51 2.3K [TXT] coquelicot_3.4.1-3bu..> 2024-09-11 23:51 2.0K [   ] coquelicot_3.4.1-3bu..> 2024-09-11 23:51 2.3K [TXT] coquelicot_3.4.1-3bu..> 2024-09-08 06:03 2.0K [   ] coquelicot_3.4.1-3bu..> 2024-09-08 06:03 2.3K [TXT] coquelicot_3.4.1-3bu..> 2024-09-07 02:05 2.0K [   ] coquelicot_3.4.1-3bu..> 2024-09-07 02:05 2.3K [TXT] coquelicot_3.4.1-3bu..> 2024-08-15 10:47 2.0K [   ] coquelicot_3.4.1-3bu..> 2024-08-15 10:47 2.2K [TXT] coquelicot_3.4.1-3bu..> 2024-08-09 16:49 2.0K [   ] coquelicot_3.4.1-3bu..> 2024-08-09 16:49 2.2K [TXT] coquelicot_3.4.1-3.dsc 2024-08-04 14:34 1.8K [   ] coquelicot_3.4.1-3.d..> 2024-08-04 14:34 2.1K [TXT] coquelicot_3.4.1-2bu..> 2024-06-15 17:43 2.0K [   ] coquelicot_3.4.1-2bu..> 2024-06-15 17:43 2.1K [TXT] coquelicot_3.4.1-2bu..> 2024-06-04 00:43 2.0K [   ] coquelicot_3.4.1-2bu..> 2024-06-04 00:43 2.1K [TXT] coquelicot_3.4.1-2bu..> 2024-05-21 13:34 2.0K [   ] coquelicot_3.4.1-2bu..> 2024-05-21 13:34 2.1K [TXT] coquelicot_3.4.1-2bu..> 2024-05-13 21:39 2.0K [   ] coquelicot_3.4.1-2bu..> 2024-05-13 21:39 2.1K [TXT] coquelicot_3.4.1-2.dsc 2024-05-03 04:55 2.0K [   ] coquelicot_3.4.1-2.d..> 2024-05-03 04:55 2.0K [TXT] coquelicot_3.4.1-1bu..> 2024-05-02 23:28 2.1K [   ] coquelicot_3.4.1-1bu..> 2024-05-02 23:28 2.3K [TXT] coquelicot_3.4.1-1bu..> 2024-04-08 10:57 2.1K [   ] coquelicot_3.4.1-1bu..> 2024-04-08 10:57 2.3K [TXT] coquelicot_3.4.1-1bu..> 2024-03-31 21:36 2.1K [   ] coquelicot_3.4.1-1bu..> 2024-03-31 21:36 2.3K [TXT] coquelicot_3.4.1-1bu..> 2024-03-25 02:33 2.1K [   ] coquelicot_3.4.1-1bu..> 2024-03-25 02:33 2.2K [TXT] coquelicot_3.4.1-1bu..> 2024-02-17 03:37 2.0K [   ] coquelicot_3.4.1-1bu..> 2024-02-17 03:37 2.1K [TXT] coquelicot_3.4.1-1bu..> 2024-01-28 04:05 2.0K [   ] coquelicot_3.4.1-1bu..> 2024-01-28 04:05 2.1K [TXT] coquelicot_3.4.1-1.dsc 2024-01-21 02:35 2.0K [   ] coquelicot_3.4.1-1.d..> 2024-01-21 02:35 2.0K [   ] coquelicot_3.4.0.ori..> 2023-12-25 20:31 274K [TXT] coquelicot_3.4.0-1.dsc 2023-12-25 20:31 2.0K [   ] coquelicot_3.4.0-1.d..> 2023-12-25 20:31 2.0K [   ] coquelicot_3.3.1.ori..> 2023-06-15 02:24 273K [TXT] coquelicot_3.3.1-1bu..> 2023-12-23 15:47 2.0K [   ] coquelicot_3.3.1-1bu..> 2023-12-23 15:47 2.0K [TXT] coquelicot_3.3.1-1bu..> 2023-11-23 03:05 2.0K [   ] coquelicot_3.3.1-1bu..> 2023-11-23 03:05 1.9K [TXT] coquelicot_3.3.1-1bu..> 2023-11-04 22:39 2.0K [   ] coquelicot_3.3.1-1bu..> 2023-11-04 22:39 1.9K [TXT] coquelicot_3.3.1-1bu..> 2023-07-24 20:37 2.0K [   ] coquelicot_3.3.1-1bu..> 2023-07-24 20:37 1.9K [   ] coquelicot_3.2.0.ori..> 2022-05-13 10:20 271K [TXT] coquelicot_3.2.0-8bu..> 2023-02-16 21:50 2.0K [   ] coquelicot_3.2.0-8bu..> 2023-02-16 21:50 2.4K [   ] coquelicot_0.9.6.ori..> 2016-12-21 02:18 187K [   ] coquelicot_0.9.6-1ub..> 2018-03-02 13:53 287K [TXT] coquelicot_0.9.6-1ub..> 2018-03-02 13:53 2.2K [   ] coquelicot_0.9.6-1ub..> 2018-03-02 13:53 34K [   ] coquelicot_0.9.5.ori..> 2015-10-24 00:36 183K [   ] coquelicot_0.9.5-1_a..> 2015-10-24 03:51 315K [TXT] coquelicot_0.9.5-1.dsc 2015-10-24 00:36 2.3K [   ] coquelicot_0.9.5-1.d..> 2015-10-24 00:36 34K [   ] coquelicot_0.9.2.ori..> 2013-06-17 15:33 171K [   ] coquelicot_0.9.2-2_a..> 2013-06-17 16:33 274K [TXT] coquelicot_0.9.2-2.dsc 2013-06-17 15:33 2.2K [   ] coquelicot_0.9.2-2.d..> 2013-06-17 15:33 26K