Welcome to mirrors.dotsrc.org

All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.

For information about dotsrc.org and our other services please go to our website.

Index of /ubuntu-ports/pool/universe/l/lambda-term/

File Name  ↓ File Size  ↓ Date  ↓ 
--
2.9 KiB2017-10-29 09:14:38
2.2 KiB2017-10-29 09:14:38
158.5 KiB2016-11-02 03:50:47
2.7 KiB2016-02-13 23:24:05
2.2 KiB2016-02-13 23:24:05
154.1 KiB2016-02-02 17:30:35
3.0 KiB2020-02-25 17:53:47
2.1 KiB2020-02-25 17:53:47
129.4 KiB2020-02-11 11:23:28
3.2 KiB2022-02-25 23:03:59
2.3 KiB2022-02-25 23:03:59
141.3 KiB2020-10-28 19:32:25
3.5 KiB2025-03-13 18:21:33
2.3 KiB2025-03-13 18:21:33
3.6 KiB2025-08-31 12:37:48
2.3 KiB2025-08-31 12:37:48
3.3 KiB2024-03-31 19:32:02
2.3 KiB2024-03-31 19:32:02
3.2 KiB2025-12-03 11:04:07
2.2 KiB2025-12-03 11:04:07
3.2 KiB2026-01-03 19:11:48
2.2 KiB2026-01-03 19:11:48
139.2 KiB2023-08-28 08:09:23
1.4 MiB2017-10-29 10:09:03
1.4 MiB2017-10-29 10:09:05
1.4 MiB2017-10-29 10:09:15
1.4 MiB2017-10-29 10:09:19
1.4 MiB2016-02-23 16:01:34
1.4 MiB2016-02-23 16:01:40
1.4 MiB2016-02-23 16:02:09
1.2 MiB2016-02-23 16:02:12
1.2 MiB2016-02-23 16:02:17
1.8 MiB2020-02-25 17:54:09
1.8 MiB2020-02-25 17:54:19
1.8 MiB2020-02-25 17:54:26
1.6 MiB2020-04-13 09:38:24
1.8 MiB2020-02-25 17:54:35
2.7 MiB2022-02-26 08:44:04
2.8 MiB2022-02-26 08:44:05
2.8 MiB2022-02-26 08:44:06
3.0 MiB2022-02-26 08:44:07
2.7 MiB2022-02-26 08:44:07
3.1 MiB2025-03-14 00:29:37
2.8 MiB2025-03-14 00:29:51
3.2 MiB2025-03-14 00:29:57
3.4 MiB2025-03-14 00:29:59
3.1 MiB2025-03-14 00:30:11
3.1 MiB2025-08-31 12:41:08
2.8 MiB2025-08-31 12:41:12
3.2 MiB2025-08-31 12:41:16
3.4 MiB2025-08-31 14:33:41
3.1 MiB2025-08-31 12:41:26
2.9 MiB2024-03-31 19:34:30
2.9 MiB2024-03-31 19:35:00
2.9 MiB2024-04-01 00:06:29
3.1 MiB2024-04-01 00:08:02
2.8 MiB2024-03-31 22:26:56
3.1 MiB2025-12-03 11:06:27
2.8 MiB2025-12-03 11:06:42
3.2 MiB2025-12-03 11:06:55
3.4 MiB2025-12-03 17:01:04
3.1 MiB2025-12-03 14:56:12
3.0 MiB2026-01-03 19:12:25
2.7 MiB2026-01-03 19:12:32
3.1 MiB2026-01-03 19:12:36
3.3 MiB2026-01-03 19:12:39
3.0 MiB2026-01-03 19:12:43
1.4 MiB2017-10-29 10:09:02
1.2 MiB2017-10-29 10:09:05
1.4 MiB2017-10-29 10:09:15
1.4 MiB2017-10-29 10:09:19
1.0 MiB2016-02-23 16:01:36
1.0 MiB2016-02-23 16:01:43
988.7 KiB2016-02-23 16:02:09
1.4 MiB2016-02-23 16:02:12
1.4 MiB2016-02-23 16:02:18
2.0 MiB2020-02-25 17:54:10
1.6 MiB2020-02-25 17:54:19
1.8 MiB2020-02-25 17:54:26
886.1 KiB2020-04-13 09:38:24
1.7 MiB2020-02-25 17:54:34
2.9 MiB2022-02-26 08:44:04
2.5 MiB2022-02-26 08:44:05
2.7 MiB2022-02-26 08:44:05
2.5 MiB2022-02-26 08:44:07
2.6 MiB2022-02-26 08:44:07
2.8 MiB2025-03-14 00:29:38
1.3 MiB2025-03-14 00:29:51
2.6 MiB2025-03-14 00:29:57
2.6 MiB2025-03-14 00:30:00
2.6 MiB2025-03-14 00:30:11
2.8 MiB2025-08-31 12:41:09
1.3 MiB2025-08-31 12:41:13
2.6 MiB2025-08-31 12:41:16
2.6 MiB2025-08-31 14:33:41
2.5 MiB2025-08-31 12:41:26
2.9 MiB2024-03-31 19:34:30
2.5 MiB2024-03-31 19:35:00
2.7 MiB2024-04-01 00:06:29
2.7 MiB2024-04-01 00:08:02
2.6 MiB2024-03-31 22:26:57
2.8 MiB2025-12-03 11:06:27
1.3 MiB2025-12-03 11:06:42
2.6 MiB2025-12-03 11:06:55
2.6 MiB2025-12-03 17:01:04
2.6 MiB2025-12-03 14:56:12
3.1 MiB2026-01-03 19:12:25
1.4 MiB2026-01-03 19:12:33
2.8 MiB2026-01-03 19:12:36
2.8 MiB2026-01-03 19:12:39
2.8 MiB2026-01-03 19:12:44