mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-10 07:33:19 -04:00
Code Issues Packages Projects Releases Wiki Activity
23,185 Commits 1 Branch 0 Tags
57b1c1462b67eebf0ceb76e59282a2c8cc68552c
Commit Graph

255 Commits

Author SHA1 Message Date
Lucio Sauer
fe3d951dfa app-misc/ollama: move from dev-ml to app-misc 
Could be moved into a new category together with other end user programs
related to machine learning in the future.

Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
 2024-07-11 14:10:29 +02:00
Lucio Sauer
4e7eaeaafe dev-ml/ollama: add missing pipe exit status check 
Fix variable order
Remove redundant file mode change
Add braces to variable

Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
 2024-07-11 02:52:11 +02:00
Lucio Sauer
ec9321fa79 dev-ml/ollama: move log ownership changes to pkg_preinst 
Since the ollama UID and GID are dynamically assigned, we cannot rely on
them being the same on different machines. Calling fowners ollama:ollama
<file> in src_install could cause permission issues at runtime, when
e.g. a binary package is created on one machine and used on another.

Moving the offending code to pkg_preinst, which is called for binary and
source packages, solves the issue.

Closes: https://github.com/gentoo/guru/pull/210
Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
 2024-07-11 02:52:08 +02:00
Vitaly Zdanevich
f6b23710f8 dev-ml/ollama: fixes from from https://github.com/gentoo/guru/pull/210/files 
Signed-off-by: Vitaly Zdanevich <zdanevich.vitaly@ya.ru>
 2024-07-11 04:08:00 +04:00
Vitaly Zdanevich
f0eb17f754 dev-ml/ollama: fix --version 
Closes https://github.com/gentoo/guru/pull/205

Signed-off-by: Vitaly Zdanevich <zdanevich.vitaly@ya.ru>
 2024-07-08 08:25:07 +04:00
Vitaly Zdanevich
d9663ac0df dev-ml/ollama: chmod to fperms, add einfo quick guide 
Signed-off-by: Vitaly Zdanevich <zdanevich.vitaly@ya.ru>
 2024-06-22 06:13:40 +04:00
Vitaly Zdanevich
0f88f85871 dev-ml/ollama: add a note that this ebuild is a copy from an overlay 
Signed-off-by: Vitaly Zdanevich <zdanevich.vitaly@ya.ru>
 2024-06-22 06:00:35 +04:00
Vitaly Zdanevich
1ac2f0ec38 dev-ml/ollama: remote-id fix 
Signed-off-by: Vitaly Zdanevich <zdanevich.vitaly@ya.ru>
 2024-06-22 06:00:03 +04:00
Vitaly Zdanevich
7a33665aae dev-ml/ollama: new package 
From https://gpo.zugaina.org/dev-ml/ollama

Signed-off-by: Vitaly Zdanevich <zdanevich.vitaly@ya.ru>
 2024-06-19 02:49:59 +04:00
Lucio Sauer
a2a7d9777a dev-ml/cstruct: treeclean; moved to ::gentoo 
See c568d4b1867085f81e4673123ae2f690124a978f

Signed-off-by: Lucio Sauer <watermanpaint@posteo.net>
 2024-06-15 18:32:33 +02:00
Julien Roy
81746b9c4a */*: drop to maintainer-needed 
Closes: https://github.com/gentoo/guru/pull/141
Signed-off-by: Julien Roy <julien@jroy.ca>
 2024-03-25 12:29:03 -04:00
Julien Roy
a6b3f15b1a */*: treeclean stale/unmaintained packages 
Closes: https://bugs.gentoo.org/885347
Closes: https://bugs.gentoo.org/885345
Closes: https://bugs.gentoo.org/885343
Closes: https://bugs.gentoo.org/885341
Closes: https://bugs.gentoo.org/885339
Closes: https://bugs.gentoo.org/885337
Closes: https://bugs.gentoo.org/885335
Closes: https://bugs.gentoo.org/885331
Closes: https://bugs.gentoo.org/885329
Closes: https://bugs.gentoo.org/869230
Closes: https://bugs.gentoo.org/860975
Closes: https://bugs.gentoo.org/859664
Closes: https://bugs.gentoo.org/900362
Closes: https://bugs.gentoo.org/887439
Closes: https://bugs.gentoo.org/887433
Closes: https://bugs.gentoo.org/855116
Closes: https://bugs.gentoo.org/855107
Closes: https://bugs.gentoo.org/897656
Closes: https://bugs.gentoo.org/887955
Closes: https://bugs.gentoo.org/885293
Closes: https://bugs.gentoo.org/847322
Closes: https://bugs.gentoo.org/843524
Closes: https://bugs.gentoo.org/860012
Closes: https://bugs.gentoo.org/852032
Closes: https://bugs.gentoo.org/887193
Closes: https://bugs.gentoo.org/859646
Closes: https://bugs.gentoo.org/901025
Closes: https://bugs.gentoo.org/921735
Closes: https://bugs.gentoo.org/901027
Closes: https://bugs.gentoo.org/887209
Closes: https://bugs.gentoo.org/859649
Closes: https://bugs.gentoo.org/855125
Closes: https://bugs.gentoo.org/921751
Closes: https://bugs.gentoo.org/859673
Closes: https://bugs.gentoo.org/799449
Closes: https://bugs.gentoo.org/901127
Closes: https://bugs.gentoo.org/921740
Closes: https://bugs.gentoo.org/901163
Closes: https://bugs.gentoo.org/887313
Closes: https://bugs.gentoo.org/847325
Closes: https://bugs.gentoo.org/884553
Closes: https://bugs.gentoo.org/859700
Closes: https://bugs.gentoo.org/857633
Closes: https://bugs.gentoo.org/857630
Closes: https://bugs.gentoo.org/857627
Closes: https://bugs.gentoo.org/857624
Closes: https://bugs.gentoo.org/884565
Closes: https://bugs.gentoo.org/855080
Closes: https://bugs.gentoo.org/855119
Closes: https://bugs.gentoo.org/901167
Closes: https://bugs.gentoo.org/887413
Closes: https://bugs.gentoo.org/861707
Closes: https://bugs.gentoo.org/859715
Closes: https://bugs.gentoo.org/901179
Closes: https://bugs.gentoo.org/901181
Closes: https://bugs.gentoo.org/901141
Closes: https://bugs.gentoo.org/887435
Closes: https://bugs.gentoo.org/859718
Closes: https://bugs.gentoo.org/901177
Closes: https://bugs.gentoo.org/890893
Closes: https://bugs.gentoo.org/901185
Closes: https://bugs.gentoo.org/887445
Closes: https://bugs.gentoo.org/884579
Closes: https://bugs.gentoo.org/901193
Closes: https://bugs.gentoo.org/859724
Closes: https://bugs.gentoo.org/886629
Closes: https://bugs.gentoo.org/859730
Closes: https://bugs.gentoo.org/861974
Closes: https://bugs.gentoo.org/887511
Closes: https://bugs.gentoo.org/861977
Closes: https://bugs.gentoo.org/861980
Closes: https://bugs.gentoo.org/887513
Closes: https://bugs.gentoo.org/897392
Closes: https://bugs.gentoo.org/861983
Closes: https://bugs.gentoo.org/861986
Closes: https://bugs.gentoo.org/861989
Closes: https://bugs.gentoo.org/861992
Closes: https://bugs.gentoo.org/861995
Closes: https://bugs.gentoo.org/887515
Closes: https://bugs.gentoo.org/861998
Closes: https://bugs.gentoo.org/862001
Closes: https://bugs.gentoo.org/887517
Closes: https://bugs.gentoo.org/862004
Closes: https://bugs.gentoo.org/862007
Closes: https://bugs.gentoo.org/862010
Closes: https://bugs.gentoo.org/862013
Closes: https://bugs.gentoo.org/862016
Closes: https://bugs.gentoo.org/862079
Closes: https://bugs.gentoo.org/915488
Closes: https://bugs.gentoo.org/884693
Closes: https://bugs.gentoo.org/901149
Closes: https://bugs.gentoo.org/855278
Closes: https://bugs.gentoo.org/921779
Closes: https://bugs.gentoo.org/921885
Closes: https://bugs.gentoo.org/835485
Closes: https://bugs.gentoo.org/887659
Closes: https://bugs.gentoo.org/834741
Closes: https://bugs.gentoo.org/884695
Closes: https://bugs.gentoo.org/901297
Closes: https://bugs.gentoo.org/807703
Closes: https://bugs.gentoo.org/862957
Closes: https://bugs.gentoo.org/922022
Closes: https://bugs.gentoo.org/923917
Closes: https://bugs.gentoo.org/923916
Closes: https://bugs.gentoo.org/923918
Closes: https://bugs.gentoo.org/901287
Closes: https://bugs.gentoo.org/852047
Closes: https://bugs.gentoo.org/852035
Closes: https://bugs.gentoo.org/860333
Closes: https://bugs.gentoo.org/848039
Closes: https://bugs.gentoo.org/897650
Closes: https://bugs.gentoo.org/849071
Closes: https://bugs.gentoo.org/842342
Closes: https://bugs.gentoo.org/860471
Closes: https://bugs.gentoo.org/887953
Closes: https://bugs.gentoo.org/863371
Closes: https://bugs.gentoo.org/887951
Closes: https://bugs.gentoo.org/860459
Closes: https://bugs.gentoo.org/901407
Closes: https://bugs.gentoo.org/847352
Closes: https://bugs.gentoo.org/922042
Closes: https://bugs.gentoo.org/860462
Closes: https://bugs.gentoo.org/901409
Closes: https://bugs.gentoo.org/897652
Closes: https://bugs.gentoo.org/848021
Closes: https://bugs.gentoo.org/901405
Closes: https://bugs.gentoo.org/887959
Closes: https://bugs.gentoo.org/901411
Closes: https://bugs.gentoo.org/887961
Closes: https://bugs.gentoo.org/860465
Closes: https://bugs.gentoo.org/885291
Closes: https://bugs.gentoo.org/901413
Closes: https://bugs.gentoo.org/887967
Closes: https://bugs.gentoo.org/860468
Closes: https://bugs.gentoo.org/863377
Closes: https://bugs.gentoo.org/922043
Closes: https://bugs.gentoo.org/901425
Closes: https://bugs.gentoo.org/863380
Closes: https://bugs.gentoo.org/847319
Closes: https://bugs.gentoo.org/863383
Closes: https://bugs.gentoo.org/860474
Closes: https://bugs.gentoo.org/887989
Closes: https://bugs.gentoo.org/860477
Closes: https://bugs.gentoo.org/887991
Closes: https://bugs.gentoo.org/901427
Closes: https://bugs.gentoo.org/887993
Closes: https://bugs.gentoo.org/901429
Closes: https://bugs.gentoo.org/887997
Closes: https://bugs.gentoo.org/860480
Closes: https://bugs.gentoo.org/897654
Closes: https://bugs.gentoo.org/922047
Closes: https://bugs.gentoo.org/887999
Closes: https://bugs.gentoo.org/897664
Closes: https://bugs.gentoo.org/860531
Closes: https://bugs.gentoo.org/784665
Closes: https://bugs.gentoo.org/860525
Closes: https://bugs.gentoo.org/888003
Closes: https://bugs.gentoo.org/860537
Closes: https://bugs.gentoo.org/922052
Closes: https://bugs.gentoo.org/897662
Closes: https://bugs.gentoo.org/901421
Closes: https://bugs.gentoo.org/785535
Closes: https://bugs.gentoo.org/784644
Closes: https://bugs.gentoo.org/804831
Closes: https://bugs.gentoo.org/885365
Closes: https://bugs.gentoo.org/922053
Closes: https://bugs.gentoo.org/840707
Closes: https://bugs.gentoo.org/836142
Closes: https://bugs.gentoo.org/836153
Closes: https://bugs.gentoo.org/783675
Closes: https://bugs.gentoo.org/888005
Closes: https://bugs.gentoo.org/887879
Closes: https://bugs.gentoo.org/860528
Closes: https://bugs.gentoo.org/901417
Closes: https://bugs.gentoo.org/922055
Closes: https://bugs.gentoo.org/842807
Closes: https://bugs.gentoo.org/810287
Closes: https://bugs.gentoo.org/888007
Closes: https://bugs.gentoo.org/860540
Closes: https://bugs.gentoo.org/885373
Closes: https://bugs.gentoo.org/888011
Closes: https://bugs.gentoo.org/800995
Closes: https://bugs.gentoo.org/885375
Closes: https://bugs.gentoo.org/863758
Closes: https://bugs.gentoo.org/809320
Closes: https://bugs.gentoo.org/809440
Closes: https://bugs.gentoo.org/863779
Closes: https://bugs.gentoo.org/901431
Closes: https://bugs.gentoo.org/860774
Closes: https://bugs.gentoo.org/860768
Closes: https://bugs.gentoo.org/901433
Closes: https://bugs.gentoo.org/852989
Closes: https://bugs.gentoo.org/885367
Closes: https://bugs.gentoo.org/860771
Closes: https://bugs.gentoo.org/901435
Closes: https://bugs.gentoo.org/887881
Closes: https://bugs.gentoo.org/901437
Closes: https://bugs.gentoo.org/784668
Closes: https://bugs.gentoo.org/901439
Closes: https://bugs.gentoo.org/901419
Closes: https://bugs.gentoo.org/888017
Closes: https://bugs.gentoo.org/888019
Closes: https://bugs.gentoo.org/901441
Closes: https://bugs.gentoo.org/885377
Closes: https://bugs.gentoo.org/901443
Closes: https://bugs.gentoo.org/807115
Closes: https://bugs.gentoo.org/885363
Closes: https://bugs.gentoo.org/888021
Closes: https://bugs.gentoo.org/888023
Closes: https://bugs.gentoo.org/901445
Closes: https://bugs.gentoo.org/888015
Closes: https://bugs.gentoo.org/887921
Closes: https://bugs.gentoo.org/863821
Closes: https://bugs.gentoo.org/907907
Closes: https://bugs.gentoo.org/887883
Closes: https://bugs.gentoo.org/908948
Closes: https://bugs.gentoo.org/908947
Closes: https://bugs.gentoo.org/908951
Closes: https://bugs.gentoo.org/892694
Closes: https://bugs.gentoo.org/801016
Closes: https://bugs.gentoo.org/922082
Closes: https://bugs.gentoo.org/852260
Closes: https://bugs.gentoo.org/901451
Closes: https://bugs.gentoo.org/922083
Closes: https://bugs.gentoo.org/860777
Closes: https://bugs.gentoo.org/901449
Closes: https://bugs.gentoo.org/901453
Closes: https://bugs.gentoo.org/921785
Closes: https://bugs.gentoo.org/860969
Closes: https://bugs.gentoo.org/817227
Closes: https://bugs.gentoo.org/921788
Closes: https://bugs.gentoo.org/921789
Closes: https://bugs.gentoo.org/835527
Closes: https://bugs.gentoo.org/897414
Closes: https://bugs.gentoo.org/921781
Closes: https://bugs.gentoo.org/897430
Closes: https://bugs.gentoo.org/848720
Closes: https://bugs.gentoo.org/883173
Closes: https://bugs.gentoo.org/921800
Closes: https://bugs.gentoo.org/921803
Closes: https://bugs.gentoo.org/921804
Closes: https://bugs.gentoo.org/921807
Closes: https://bugs.gentoo.org/901479
Closes: https://bugs.gentoo.org/901483
Closes: https://bugs.gentoo.org/901151
Closes: https://bugs.gentoo.org/896028
Closes: https://bugs.gentoo.org/921783
Closes: https://bugs.gentoo.org/897432
Closes: https://bugs.gentoo.org/905472
Closes: https://bugs.gentoo.org/921810
Closes: https://bugs.gentoo.org/843485
Closes: https://bugs.gentoo.org/921816
Closes: https://bugs.gentoo.org/921818
Closes: https://bugs.gentoo.org/921825
Closes: https://bugs.gentoo.org/921822
Closes: https://bugs.gentoo.org/816654
Closes: https://bugs.gentoo.org/921775
Closes: https://bugs.gentoo.org/921777
Closes: https://bugs.gentoo.org/848723
Closes: https://bugs.gentoo.org/921853
Closes: https://bugs.gentoo.org/921895
Closes: https://bugs.gentoo.org/921855
Closes: https://bugs.gentoo.org/897506
Closes: https://bugs.gentoo.org/921857
Closes: https://bugs.gentoo.org/880013
Closes: https://bugs.gentoo.org/897542
Closes: https://bugs.gentoo.org/921864
Closes: https://bugs.gentoo.org/922915
Closes: https://bugs.gentoo.org/921897
Closes: https://bugs.gentoo.org/921900
Closes: https://bugs.gentoo.org/921865
Closes: https://bugs.gentoo.org/887637
Closes: https://bugs.gentoo.org/839306
Closes: https://bugs.gentoo.org/921868
Closes: https://bugs.gentoo.org/921869
Closes: https://bugs.gentoo.org/862082
Closes: https://bugs.gentoo.org/921873
Closes: https://bugs.gentoo.org/897588
Closes: https://bugs.gentoo.org/901221
Closes: https://bugs.gentoo.org/921808
Closes: https://bugs.gentoo.org/897590
Closes: https://bugs.gentoo.org/848549
Closes: https://bugs.gentoo.org/921876
Closes: https://bugs.gentoo.org/921878
Closes: https://bugs.gentoo.org/921879
Closes: https://bugs.gentoo.org/921880
Closes: https://bugs.gentoo.org/921797
Closes: https://bugs.gentoo.org/862765
Closes: https://bugs.gentoo.org/921780
Closes: https://bugs.gentoo.org/921881
Closes: https://bugs.gentoo.org/921813
Closes: https://bugs.gentoo.org/921784
Closes: https://bugs.gentoo.org/800076
Closes: https://bugs.gentoo.org/921884
Closes: https://bugs.gentoo.org/822456

Signed-off-by: Julien Roy <julien@jroy.ca>
 2024-03-25 12:28:56 -04:00
David Roman
66014ffbdf dev-ml/*: update maintainer email 
Signed-off-by: David Roman <davidroman96@gmail.com>
 2024-03-02 13:49:42 +01:00
Alain Emilia Anna Zscheile
a293c5bbfd dev-ml/*: add myself as maintainer to some necessary dependencies 
Closes: https://github.com/gentoo/guru/pull/144
Signed-off-by: Alain Emilia Anna Zscheile <fogti+devel@ytrizja.de>
Signed-off-by: David Roman <davidroman96@gmail.com>
 2024-03-02 11:57:48 +01:00
Alain Emilia Anna Zscheile
194082673c dev-ml/*: version bump cstruct to 6.2.0, psq to 0.2.1 
- cstruct: get rid of unnecessary ocaml-migrate-parsetree dependency
  O-M-PT is superseded by ppxlib, which already gets pulled in by the ppx useflag

Signed-off-by: Alain Emilia Anna Zscheile <fogti+devel@ytrizja.de>
Signed-off-by: David Roman <davidroman96@gmail.com>
 2024-03-02 11:55:25 +01:00
Alain Emilia Anna Zscheile
56eb433194 dev-ml/*: remove empty RDEPEND lines (lint cleanup) 
Signed-off-by: Alain Emilia Anna Zscheile <fogti+devel@ytrizja.de>
Signed-off-by: David Roman <davidroman96@gmail.com>
 2024-03-02 11:55:25 +01:00
Alain Emilia Anna Zscheile
6d54885ef9 dev-ml/lwt-dllist: small improvement 
Signed-off-by: Alain Emilia Anna Zscheile <fogti+devel@ytrizja.de>
Signed-off-by: David Roman <davidroman96@gmail.com>
 2024-03-02 11:55:25 +01:00
Alain Emilia Anna Zscheile
6d60848ef4 dev-ml/*: add myself as maintainer to some packages 
- also remove previous stale maintainer for packages now maintained by me
- and unmask these

Signed-off-by: Alain Emilia Anna Zscheile <fogti+devel@ytrizja.de>
Signed-off-by: David Roman <davidroman96@gmail.com>
 2024-03-02 11:55:25 +01:00
Anna (cybertailor) Vyalkova
1e95f22062 */*: update metadata schema uri 
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
 2023-03-04 18:56:32 +05:00
Julien Roy
d98edfe377 dev-ml/tyxml: treeclean 
Signed-off-by: Julien Roy <julien@jroy.ca>
 2022-12-21 09:10:57 -05:00
Tony Olagbaiye
70b7951e96 dev-ml/wayland: new package, add 1.1 
Signed-off-by: Tony Olagbaiye <bqv@fron.io>
 2022-12-14 20:47:08 +00:00
Andrew Ammerlaan
54e7401db1 dev-ml/*: remove duplicate 
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
 2022-07-20 11:27:41 +02:00
Alessandro Barbieri
a446d3a063 dev-ml/ptime: treeclean 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-07-12 15:11:42 +02:00
Alessandro Barbieri
ccd5d88b2f dev-ml/tiny_httpd: treeclean 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-07-12 15:11:42 +02:00
Alessandro Barbieri
5541943e2e dev-ml/xapi-stdext: add 4.19.0 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-06-28 17:35:54 +02:00
Alessandro Barbieri
a90f3f016f dev-ml/inotify: add 2.4 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-06-02 03:23:29 +02:00
Alessandro Barbieri
7f29fab3e6 dev-ml/ocamlfuse: add subslot 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-28 14:53:32 +02:00
Alessandro Barbieri
20781a37b9 dev-ml/gapi-ocaml: add subslot 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-28 14:53:32 +02:00
Alessandro Barbieri
89e6e002d8 dev-ml/ptime: update SRC_URI 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-25 22:05:16 +02:00
Alessandro Barbieri
9cfe3b5a32 dev-ml/ca-certs-nss: add 3.77 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-24 19:36:40 +02:00
Alessandro Barbieri
777661746d dev-ml/mirage-crypto: drop 0.10.1 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-24 19:36:40 +02:00
Alessandro Barbieri
b4c3ca2dff dev-ml/mirage-crypto: add 0.10.6 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-24 19:36:40 +02:00
Alessandro Barbieri
13231de9a1 dev-ml/metrics: add 0.4.0 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-24 19:36:40 +02:00
Alessandro Barbieri
e7ff1b8dea dev-ml/dns: add 6.2.2 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-24 19:36:40 +02:00
Alessandro Barbieri
7aa504194a dev-ml/hex: add 1.5.0 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-08 03:58:07 +02:00
Alessandro Barbieri
e14b766a03 dev-ml/cstruct: add 6.1.0 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-08 03:58:07 +02:00
Alessandro Barbieri
fa75a27359 dev-ml/ocamlfuse: export CPP 
Closes: https://bugs.gentoo.org/842321
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-03 22:21:34 +02:00
Alessandro Barbieri
ac7301ba91 dev-ml/ocamlfuse: add opam build dep 
Closes: https://bugs.gentoo.org/842339
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-05-03 22:21:33 +02:00
Alessandro Barbieri
39820b1b13 dev-ml/tls: add 0.15.3 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-29 04:46:45 +02:00
Alessandro Barbieri
47faa88af7 dev-ml/alcotest-lwt: add 1.5.0 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-29 04:36:49 +02:00
Alessandro Barbieri
d5f185d8f7 dev-ml/async_inotify: add 0.15.0, drop 0.14.0 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-28 07:57:30 +02:00
Alessandro Barbieri
7166931dc6 dev-ml/ocaml_intrinsics: treeclean 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-27 23:04:55 +02:00
Alessandro Barbieri
9fef65fa6d dev-ml/core_unix: treeclean 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-27 23:04:54 +02:00
Alessandro Barbieri
9c38bd7736 dev-ml/sexp_pretty: treeclean 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-27 02:08:37 +02:00
Alessandro Barbieri
5d297b3c9d dev-ml/expect_test_helpers_core: treeclean 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-27 02:08:37 +02:00
Alessandro Barbieri
a51f39476b dev-ml/ocamlfuse: new package, add 2.7.1_p7 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-27 02:08:37 +02:00
Alessandro Barbieri
4dc9e3a7d1 dev-ml/tiny_httpd: new package, add 0.12 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-27 02:08:37 +02:00
Alessandro Barbieri
ba02285802 dev-ml/gapi-ocaml: new package, add 0.4.2 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-27 02:08:37 +02:00
Alessandro Barbieri
8ba1e8a9c8 dev-ml/*: improve metadata 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-26 12:33:35 +02:00
Alessandro Barbieri
8956c61bfc dev-ml/*: remove pseudo virtual packages 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
 2022-04-21 02:14:16 +02:00