Hannes Mehnert hannes
1 follower · 0 following
  • Joined on 2024-08-21
Repositories
1
 Projects Packages Public activity Starred repositories
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
hannes merged pull request robur/http-mirage-client#1 2024-08-29 10:42:24 +00:00
adapt to tls 1.0.0
hannes pushed to tls-1 at robur/http-mirage-client 2024-08-29 10:18:01 +00:00
906a9ffda3 autoformat
hannes pushed to tls-1 at robur/http-mirage-client 2024-08-29 10:14:36 +00:00
bcaef08034 fix bounds
17601460e7 autoformat
Compare 2 commits »
hannes created pull request robur/http-mirage-client#1 2024-08-27 17:11:02 +00:00
adapt to tls 1.0.0
hannes created branch tls-1 in robur/http-mirage-client 2024-08-27 17:10:41 +00:00
hannes pushed to tls-1 at robur/http-mirage-client 2024-08-27 17:10:41 +00:00
c7a3ec9374 adapt to tls 1.0.0
hannes deleted branch packaging from robur/opam-graph 2024-08-27 14:42:26 +00:00
hannes pushed to main at robur/opam-graph 2024-08-27 14:40:21 +00:00
e40c70be9c roburio -> robur-coop
f63444a6ca opam: require tyxml 4.3.0 (for Svg.txt)
7f018aca12 opam: require tyxml 3.0.0 (for svg)
a3be16cd29 opam: require opam-format 2.1.1+ (for FullPos)
09cb9289fc changes for 0.1.1
Compare 27 commits »
hannes pushed to main at robur/unikernel-repo 2024-08-26 14:07:03 +00:00
2374e966f8 remove dns, which has been released a long time ago