Hannes Mehnert hannes

1 follower · 0 following

• Joined on 2024-08-21

Repositories

1

Projects Packages Public activity Starred repositories

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