Index of /ubuntu/pool/universe/c/coqeal
Name
Last modified
Size
Description
Parent Directory
-
coqeal_1.1.0-1.debia..>
2022-07-07 13:24
2.0K
coqeal_1.1.0-1.dsc
2022-07-07 13:24
2.1K
coqeal_1.1.0.orig.ta..>
2022-07-07 13:24
214K
coqeal_1.1.1-1.debia..>
2022-07-08 19:34
2.0K
coqeal_1.1.1-1.dsc
2022-07-08 19:34
2.1K
coqeal_1.1.1-1build1..>
2022-08-30 18:48
2.1K
coqeal_1.1.1-1build1..>
2022-08-30 18:48
2.1K
coqeal_1.1.1-2.debia..>
2022-11-06 11:17
2.1K
coqeal_1.1.1-2.dsc
2022-11-06 11:17
2.1K
coqeal_1.1.1-2build1..>
2022-11-26 02:40
2.1K
coqeal_1.1.1-2build1..>
2022-11-26 02:40
2.1K
coqeal_1.1.1-2build2..>
2022-12-04 03:54
2.2K
coqeal_1.1.1-2build2..>
2022-12-04 03:54
2.1K
coqeal_1.1.1-2build3..>
2022-12-31 20:04
2.2K
coqeal_1.1.1-2build3..>
2022-12-31 20:04
2.1K
coqeal_1.1.1-2build4..>
2023-01-27 17:04
2.2K
coqeal_1.1.1-2build4..>
2023-01-27 17:04
2.1K
coqeal_1.1.1-3.debia..>
2023-01-28 07:34
2.1K
coqeal_1.1.1-3.dsc
2023-01-28 07:34
2.1K
coqeal_1.1.1-3build1..>
2023-02-16 18:06
2.2K
coqeal_1.1.1-3build1..>
2023-02-16 18:06
2.1K
coqeal_1.1.1-3build2..>
2023-02-17 02:50
2.2K
coqeal_1.1.1-3build2..>
2023-02-17 02:50
2.1K
coqeal_1.1.1-3build3..>
2023-02-17 15:29
2.2K
coqeal_1.1.1-3build3..>
2023-02-17 15:29
2.1K
coqeal_1.1.1-3build4..>
2023-06-13 17:04
2.2K
coqeal_1.1.1-3build4..>
2023-06-13 17:04
2.1K
coqeal_1.1.1.orig.ta..>
2022-07-08 19:34
214K
coqeal_1.1.3-1.debia..>
2023-06-21 01:20
2.2K
coqeal_1.1.3-1.dsc
2023-06-21 01:20
2.1K
coqeal_1.1.3-1build1..>
2023-07-25 01:37
2.2K
coqeal_1.1.3-1build1..>
2023-07-25 01:37
2.1K
coqeal_1.1.3-1build2..>
2023-11-05 03:39
2.3K
coqeal_1.1.3-1build2..>
2023-11-05 03:39
2.1K
coqeal_1.1.3-1build3..>
2023-11-23 08:05
2.3K
coqeal_1.1.3-1build3..>
2023-11-23 08:05
2.1K
coqeal_1.1.3-1build4..>
2023-12-24 03:26
2.3K
coqeal_1.1.3-1build4..>
2023-12-24 03:26
2.1K
coqeal_1.1.3-1build5..>
2023-12-27 11:31
2.3K
coqeal_1.1.3-1build5..>
2023-12-27 11:31
2.1K
coqeal_1.1.3.orig.ta..>
2023-06-21 01:20
213K
coqeal_2.0.0-1.debia..>
2023-12-28 01:46
2.2K
coqeal_2.0.0-1.dsc
2023-12-28 01:46
2.1K
coqeal_2.0.0.orig.ta..>
2023-12-28 01:46
211K
coqeal_2.0.1-1.debia..>
2024-01-21 13:45
2.2K
coqeal_2.0.1-1.dsc
2024-01-21 13:45
2.1K
coqeal_2.0.1-1build1..>
2024-01-28 23:09
2.3K
coqeal_2.0.1-1build1..>
2024-01-28 23:09
2.1K
coqeal_2.0.1-1build2..>
2024-02-17 08:37
2.4K
coqeal_2.0.1-1build2..>
2024-02-17 08:37
2.1K
coqeal_2.0.1-1build3..>
2024-03-24 08:53
2.5K
coqeal_2.0.1-1build3..>
2024-03-24 08:53
2.2K
coqeal_2.0.1-1build4..>
2024-04-01 02:36
2.5K
coqeal_2.0.1-1build4..>
2024-04-01 02:36
2.2K
coqeal_2.0.1-1build5..>
2024-04-08 15:57
2.5K
coqeal_2.0.1-1build5..>
2024-04-08 15:57
2.2K
coqeal_2.0.1-1build6..>
2024-05-03 04:28
2.5K
coqeal_2.0.1-1build6..>
2024-05-03 04:28
2.2K
coqeal_2.0.1.orig.ta..>
2024-01-21 13:45
212K
coqeal_2.0.2-1.debia..>
2024-05-03 09:55
2.3K
coqeal_2.0.2-1.dsc
2024-05-03 09:55
2.1K
coqeal_2.0.2-1build1..>
2024-05-14 02:39
2.3K
coqeal_2.0.2-1build1..>
2024-05-14 02:39
2.1K
coqeal_2.0.2.orig.ta..>
2024-05-03 09:55
212K
libcoq-coqeal_1.1.1-..>
2022-07-19 21:15
5.1M
libcoq-coqeal_1.1.1-..>
2022-08-30 20:29
5.1M
libcoq-coqeal_1.1.1-..>
2022-11-06 11:23
5.1M
libcoq-coqeal_1.1.1-..>
2022-11-27 01:43
5.1M
libcoq-coqeal_1.1.1-..>
2022-12-04 03:54
5.1M
libcoq-coqeal_1.1.1-..>
2022-12-31 20:04
5.1M
libcoq-coqeal_1.1.1-..>
2023-01-27 17:04
5.1M
libcoq-coqeal_1.1.1-..>
2023-01-28 07:34
5.1M
libcoq-coqeal_1.1.1-..>
2023-02-17 04:44
5.1M
libcoq-coqeal_1.1.1-..>
2023-02-17 15:29
5.1M
libcoq-coqeal_1.1.3-..>
2023-06-21 01:50
5.0M
libcoq-coqeal_1.1.3-..>
2023-07-26 15:55
5.0M
libcoq-coqeal_1.1.3-..>
2023-11-16 05:24
5.0M
libcoq-coqeal_1.1.3-..>
2023-11-23 08:05
5.0M
libcoq-coqeal_1.1.3-..>
2023-12-24 03:26
6.0M
libcoq-coqeal_2.0.0-..>
2023-12-28 01:46
6.6M
libcoq-coqeal_2.0.1-..>
2024-01-28 23:09
5.3M
libcoq-coqeal_2.0.1-..>
2024-02-18 03:15
5.3M
libcoq-coqeal_2.0.1-..>
2024-03-25 11:02
5.3M
libcoq-coqeal_2.0.1-..>
2024-04-01 03:32
5.3M
libcoq-coqeal_2.0.1-..>
2024-04-09 15:42
5.3M
libcoq-coqeal_2.0.2-..>
2024-05-04 03:33
5.8M
libcoq-coqeal_2.0.2-..>
2024-05-14 02:40
5.8M