Index of /ubuntu/pool/universe/p/ppx-deriving
Name
Last modified
Size
Description
Parent Directory
-
libppx-deriving-ocam..>
2017-10-30 13:13
253K
libppx-deriving-ocam..>
2017-10-30 13:13
255K
libppx-deriving-ocam..>
2020-02-21 06:33
750K
libppx-deriving-ocam..>
2022-01-25 06:14
897K
libppx-deriving-ocam..>
2024-02-16 04:54
918K
libppx-deriving-ocam..>
2024-09-05 07:52
1.0M
libppx-deriving-ocam..>
2024-10-31 17:58
1.0M
libppx-deriving-ocam..>
2017-10-30 13:13
1.9M
libppx-deriving-ocam..>
2017-10-30 13:13
1.6M
libppx-deriving-ocam..>
2020-02-21 06:33
2.7M
libppx-deriving-ocam..>
2022-01-25 06:14
4.1M
libppx-deriving-ocam..>
2024-02-16 04:54
4.3M
libppx-deriving-ocam..>
2024-09-05 07:52
4.5M
libppx-deriving-ocam..>
2024-10-31 17:58
4.5M
ppx-deriving_4.1-1.1..>
2017-10-30 13:10
4.2K
ppx-deriving_4.1-1.1..>
2017-10-30 13:10
2.2K
ppx-deriving_4.1.ori..>
2017-07-21 16:08
45K
ppx-deriving_4.4-2bu..>
2020-02-20 23:53
3.7K
ppx-deriving_4.4-2bu..>
2020-02-20 23:53
2.5K
ppx-deriving_4.4.ori..>
2019-09-12 22:53
44K
ppx-deriving_5.2.1-1..>
2022-01-25 06:14
3.7K
ppx-deriving_5.2.1-1..>
2022-01-25 06:14
2.3K
ppx-deriving_5.2.1-4..>
2024-02-16 04:54
3.8K
ppx-deriving_5.2.1-4..>
2024-02-16 04:54
2.3K
ppx-deriving_5.2.1.o..>
2022-01-21 03:39
39K
ppx-deriving_6.0.2-2..>
2024-09-05 07:51
3.9K
ppx-deriving_6.0.2-2..>
2024-09-05 07:51
2.3K
ppx-deriving_6.0.2.o..>
2024-06-03 10:23
47K
ppx-deriving_6.0.3-1..>
2024-10-31 12:04
3.8K
ppx-deriving_6.0.3-1..>
2024-10-31 12:04
2.1K
ppx-deriving_6.0.3.o..>
2024-10-31 12:04
47K