Hannes Mehnert hannes
1 follower · 0 following
  • Joined on 2024-08-21
Repositories
1
 Projects Packages Public activity Starred repositories
hannes pushed to main at robur/unikernel-repo 2024-09-13 16:36:27 +00:00
5bd0c6f2e7 upgrade orb version number (now that 1.0 is released)
hannes pushed to main at robur/unikernel-repo 2024-09-12 15:58:36 +00:00
b6a410b2a8 caldav: update from upstream
hannes pushed to main at robur/unikernel-repo 2024-09-11 21:18:43 +00:00
d7610c4c9f mollymawk is mirage 4.7.0 now
hannes pushed to main at robur/unikernel-repo 2024-09-11 20:34:09 +00:00
3c15aec70c dns-stub: update to mirage 4.7.0
71245903f9 unipi: mirage 4.7
7e4da81600 tlstunnel: mirage 4.7
b9cddd5bdc dnsvizor: mirage 4.7
5ce9ae54e3 dns-secondary: mirage 4.7
Compare 11 commits »
hannes pushed to main at robur/unikernel-repo 2024-09-11 18:33:56 +00:00
d3d6b0279d update utcp from upstream
hannes pushed to main at robur/unikernel-repo 2024-09-11 11:15:12 +00:00
26d7a22be8 mollymawk: update mirage bounds
hannes pushed to main at robur/unikernel-repo 2024-09-05 17:06:57 +00:00
0737f4ec38 update builder, builder-web, albatross
hannes commented on pull request robur/builder-web#1 2024-09-05 15:02:59 +00:00
remove usage of cstruct, require mirage-crypto 1.0.0

CI run at https://github.com/robur-coop/builder-web/runs/29735284723 looks promising. IMHO good to merge. And maybe we should cut a release to opam-repository?

hannes pushed to no-cstruct at robur/builder-web 2024-09-05 15:02:20 +00:00
6d50b4bff4 remove superfluous mirage-crypto dependency
0f68776819 update builder depedency
Compare 2 commits »
hannes pushed to no-cstruct at robur/builder-web 2024-09-05 14:58:28 +00:00
598f8230bd update caqti constraint
hannes commented on pull request robur/builder-web#1 2024-09-04 16:05:10 +00:00
remove usage of cstruct, require mirage-crypto 1.0.0

FWIW caqti is released https://github.com/ocaml/opam-repository/pull/26479

hannes pushed to no-cstruct at robur/builder-web 2024-09-02 14:38:12 +00:00
ca0214c606 minor (grep -i cstruct)
hannes commented on pull request robur/builder-web#1 2024-09-02 14:16:48 +00:00
remove usage of cstruct, require mirage-crypto 1.0.0

I also:

  • moved from pbkdf & scrypt-kdf to kdf.pbkdf, kdf.scrypt
  • moved from hex to ohex
hannes created pull request robur/builder-web#1 2024-09-02 14:16:14 +00:00
remove usage of cstruct, require mirage-crypto 1.0.0
hannes created branch no-cstruct in robur/builder-web 2024-09-02 14:14:56 +00:00
hannes pushed to no-cstruct at robur/builder-web 2024-09-02 14:14:56 +00:00
07831d7de3 remove usage of cstruct, require mirage-crypto 1.0.0
hannes pushed tag v0.0.7 to robur/http-mirage-client 2024-08-29 10:44:28 +00:00
hannes pushed to main at robur/http-mirage-client 2024-08-29 10:44:05 +00:00
492f77d5cc changes for 0.0.7
hannes pushed to main at robur/http-mirage-client 2024-08-29 10:42:26 +00:00
1e307d2c5b adapt to tls 1.0.0 (#1)
hannes deleted branch tls-1 from robur/http-mirage-client 2024-08-29 10:42:26 +00:00