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

File Name  ↓ File Size  ↓ Date  ↓ 
--
2.9 KiB2017-Oct-29 09:14
2.2 KiB2017-Oct-29 09:14
158.5 KiB2016-Nov-02 03:50
2.7 KiB2016-Feb-13 23:24
2.2 KiB2016-Feb-13 23:24
154.1 KiB2016-Feb-02 17:30
3.0 KiB2020-Feb-25 17:53
2.1 KiB2020-Feb-25 17:53
129.4 KiB2020-Feb-11 11:23
3.2 KiB2022-Feb-25 23:03
2.3 KiB2022-Feb-25 23:03
141.3 KiB2020-Oct-28 19:32
3.1 KiB2023-Feb-16 23:24
2.2 KiB2023-Feb-16 23:24
140.8 KiB2022-Apr-30 01:01
3.1 KiB2023-Aug-28 16:39
2.2 KiB2023-Aug-28 16:39
3.3 KiB2024-Mar-31 19:32
2.3 KiB2024-Mar-31 19:32
3.3 KiB2024-Jun-03 21:43
2.3 KiB2024-Jun-03 21:43
139.2 KiB2023-Aug-28 08:09
1.4 MiB2017-Oct-29 10:09
1.4 MiB2017-Oct-29 10:09
1.4 MiB2017-Oct-29 10:09
1.4 MiB2017-Oct-29 10:09
1.4 MiB2016-Feb-23 16:01
1.4 MiB2016-Feb-23 16:01
1.4 MiB2016-Feb-23 16:02
1.2 MiB2016-Feb-23 16:02
1.2 MiB2016-Feb-23 16:02
1.8 MiB2020-Feb-25 17:54
1.8 MiB2020-Feb-25 17:54
1.8 MiB2020-Feb-25 17:54
1.6 MiB2020-Apr-13 09:38
1.8 MiB2020-Feb-25 17:54
2.7 MiB2022-Feb-26 08:44
2.8 MiB2022-Feb-26 08:44
2.8 MiB2022-Feb-26 08:44
3.0 MiB2022-Feb-26 08:44
2.7 MiB2022-Feb-26 08:44
2.7 MiB2023-Feb-17 01:14
2.7 MiB2023-Feb-17 01:15
2.7 MiB2023-Feb-17 02:34
2.9 MiB2023-Feb-17 02:34
2.7 MiB2023-Feb-17 02:34
2.7 MiB2023-Aug-28 16:39
2.7 MiB2023-Aug-28 16:39
2.7 MiB2023-Aug-28 16:39
2.9 MiB2023-Aug-28 17:11
2.7 MiB2023-Aug-28 16:39
2.9 MiB2024-Mar-31 19:34
2.9 MiB2024-Mar-31 19:35
2.9 MiB2024-Apr-01 00:06
3.1 MiB2024-Apr-01 00:08
2.8 MiB2024-Mar-31 22:26
2.9 MiB2024-Jun-04 18:43
2.9 MiB2024-Jun-04 18:44
2.9 MiB2024-Jun-04 17:18
3.1 MiB2024-Jun-04 20:02
2.8 MiB2024-Jun-04 17:18
1.4 MiB2017-Oct-29 10:09
1.2 MiB2017-Oct-29 10:09
1.4 MiB2017-Oct-29 10:09
1.4 MiB2017-Oct-29 10:09
1.0 MiB2016-Feb-23 16:01
1.0 MiB2016-Feb-23 16:01
988.7 KiB2016-Feb-23 16:02
1.4 MiB2016-Feb-23 16:02
1.4 MiB2016-Feb-23 16:02
2.0 MiB2020-Feb-25 17:54
1.6 MiB2020-Feb-25 17:54
1.8 MiB2020-Feb-25 17:54
886.1 KiB2020-Apr-13 09:38
1.7 MiB2020-Feb-25 17:54
2.9 MiB2022-Feb-26 08:44
2.5 MiB2022-Feb-26 08:44
2.7 MiB2022-Feb-26 08:44
2.5 MiB2022-Feb-26 08:44
2.6 MiB2022-Feb-26 08:44
2.8 MiB2023-Feb-17 01:14
2.4 MiB2023-Feb-17 01:15
2.6 MiB2023-Feb-17 02:34
2.5 MiB2023-Feb-17 02:34
2.5 MiB2023-Feb-17 02:34
3.7 MiB2023-Aug-28 16:39
3.0 MiB2023-Aug-28 16:39
3.3 MiB2023-Aug-28 16:39
3.2 MiB2023-Aug-28 17:11
3.2 MiB2023-Aug-28 16:39
2.9 MiB2024-Mar-31 19:34
2.5 MiB2024-Mar-31 19:35
2.7 MiB2024-Apr-01 00:06
2.7 MiB2024-Apr-01 00:08
2.6 MiB2024-Mar-31 22:26
2.9 MiB2024-Jun-04 18:43
2.5 MiB2024-Jun-04 18:44
2.7 MiB2024-Jun-04 17:18
2.7 MiB2024-Jun-04 20:02
2.6 MiB2024-Jun-04 17:18