Commit Graph
596069 Commits
Author SHA1 Message Date
Yongxiang Liang 690a0d614b dev-ml/logs: Keyword 0.7.0-r1 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:33 +02:00
Yongxiang Liang 1dcfcb4401 dev-ml/mtime: Keyword 1.3.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:32 +02:00
Yongxiang Liang 7a075e65b7 dev-ml/mirage-clock: Keyword 3.1.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:31 +02:00
Yongxiang Liang b5e196e1cd dev-ml/fmt: Keyword 0.9.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:31 +02:00
Yongxiang Liang 763f82a6e5 dev-ml/duration: Keyword 0.1.3 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:30 +02:00
Yongxiang Liang 494e1bef49 dev-ml/async_unix: Keyword 0.14.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:29 +02:00
Yongxiang Liang c9d855236b dev-ml/async_kernel: Keyword 0.14.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:28 +02:00
Yongxiang Liang 75e8fba4d0 dev-ml/astring: Keyword 0.8.5 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:27 +02:00
Yongxiang Liang d05bdd0e42 dev-ml/react: Keyword 1.2.1-r1 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:26 +02:00
Yongxiang Liang f3a6b03e8f dev-ml/opam-installer: Keyword 2.1.2 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:25 +02:00
Yongxiang Liang a7b68683be dev-ml/opam-format: Keyword 2.1.2-r1 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:25 +02:00
Yongxiang Liang 469bd5dd71 dev-ml/mccs: Keyword 1.1.13 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:24 +02:00
Yongxiang Liang 6b2d4b644e dev-ml/dose3: Keyword 7.0.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:23 +02:00
Yongxiang Liang 3e881d36aa dev-ml/xml-light: Keyword 2.2-r3 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:22 +02:00
Yongxiang Liang 5ccb312c54 dev-ml/ocaml-expat: Keyword 1.1.0-r1 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:22 +02:00
Yongxiang Liang 06245e14f2 dev-ml/camlbz2: Keyword 0.7.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:21 +02:00
Yongxiang Liang 03a93f854b dev-ml/camlzip: Keyword 1.11 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:20 +02:00
Yongxiang Liang 2297fee843 dev-ml/parmap: Keyword 1.2.4 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:19 +02:00
Yongxiang Liang a2f6ef7bb2 dev-ml/cudf: Keyword 0.9-r2 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:18 +02:00
Yongxiang Liang b654f2aa93 dev-ml/extlib: Keyword 1.7.8 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:18 +02:00
Yongxiang Liang eed501ddad dev-ml/ocaml-base64: Keyword 3.5.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:17 +02:00
Yongxiang Liang 6e91c35e14 dev-ml/opam-core: Keyword 2.1.2 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:16 +02:00
Yongxiang Liang c715df5235 dev-ml/opam-file-format: Keyword 2.1.3 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:15 +02:00
Yongxiang Liang c76bd13017 dev-ml/ocamlgraph: Keyword 2.0.0-r1 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:14 +02:00
Yongxiang Liang 5a13d2492f dev-ml/graphics: Keyword 5.1.2 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:14 +02:00
Yongxiang Liang 9697f9cfde dev-ml/ocplib-endian: Keyword 1.2 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:13 +02:00
Yongxiang Liang 42c9a5abb7 dev-ml/mmap: Keyword 1.1.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:12 +02:00
Yongxiang Liang d2fa9eac30 dev-ml/cppo: Keyword 1.6.8 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:11 +02:00
Yongxiang Liang 0c0dc773f8 dev-ml/labltk: Keyword 8.06.12 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:11 +02:00
Yongxiang Liang 9d9b5cb879 dev-ml/dune-configurator: Keyword 2.9.3 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:10 +02:00
Yongxiang Liang 68079e268a dev-ml/menhir: Keyword 20211012 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:09 +02:00
Yongxiang Liang c75e36277f dev-ml/csexp: Keyword 1.5.1 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:08 +02:00
Yongxiang Liang 1b8b3c0b0f dev-ml/core_bench: Keyword 0.14.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:08 +02:00
Yongxiang Liang e6de303999 dev-ml/textutils: Keyword 0.14.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:07 +02:00
Yongxiang Liang 9a7ccb4b50 dev-ml/uutf: Keyword 1.0.3 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:06 +02:00
Yongxiang Liang f1d6d5cae7 dev-ml/uchar: Keyword 0.0.2 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:05 +02:00
Yongxiang Liang 23ff484980 dev-ml/cmdliner: Keyword 1.1.1 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:04 +02:00
Yongxiang Liang 73ea518338 dev-ml/topkg: Keyword 1.0.5 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:03 +02:00
Yongxiang Liang 9c75db3ac4 dev-ml/ocamlbuild: Keyword 0.14.0-r1 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:03 +02:00
Yongxiang Liang ead3be21c0 dev-ml/core: Keyword 0.14.1 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:02 +02:00
Yongxiang Liang 31a54e7178 dev-ml/timezone: Keyword 0.14.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:01 +02:00
Yongxiang Liang 56f220ddb8 dev-ml/spawn: Keyword 0.15.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:00 +02:00
Yongxiang Liang cc76fb2f68 dev-ml/core_kernel: Keyword 0.14.2-r1 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:06:00 +02:00
Yongxiang Liang b2bbe6e2a8 dev-ml/sexplib: Keyword 0.14.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:05:59 +02:00
Yongxiang Liang 211008a431 dev-ml/num: Keyword 1.4-r3 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:05:58 +02:00
Yongxiang Liang c6e66c69d4 dev-ml/parsexp: Keyword 0.14.1 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:05:57 +02:00
Yongxiang Liang fa22a02776 dev-ml/base_bigstring: Keyword 0.14.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:05:56 +02:00
Yongxiang Liang 354c3ca018 dev-ml/ppx_typerep_conv: Keyword 0.14.2 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:05:56 +02:00
Yongxiang Liang 499eb6a602 dev-ml/typerep: Keyword 0.14.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:05:55 +02:00
Yongxiang Liang 24005c46cd dev-ml/ppx_string: Keyword 0.14.1 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com>
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
2022-04-18 23:05:54 +02:00