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-10-14 09:23:06 +00:00
dbd4198c43 dns-secondary is 4.8 now
hannes pushed to main at robur/unikernel-repo 2024-10-14 09:19:04 +00:00
4a1c42366d dns-primary-git is 4.8 now
hannes created pull request robur/opam-mirror#4 2024-10-11 11:32:09 +00:00
update to mirage 4.8
hannes created branch mirage-48 in robur/opam-mirror 2024-10-11 11:31:53 +00:00
hannes pushed to mirage-48 at robur/opam-mirror 2024-10-11 11:31:53 +00:00
58656926e3 update to mirage 4.8
hannes pushed to main at robur/unikernel-repo 2024-10-11 09:46:41 +00:00
b7f25c995d retreat repository was renamed
hannes pushed to pages at hannes/hannes.robur.coop 2024-10-11 09:45:04 +00:00
60096fea59 updated from main (commit c59a208400)
hannes pushed to main at hannes/hannes.robur.coop 2024-10-11 09:44:48 +00:00
c59a208400 update links
hannes pushed to pages at robur/homepage-data 2024-10-11 09:33:14 +00:00
3ebcf3c74c updated from main (commit 4e738bc3ff)
hannes pushed to main at robur/homepage-data 2024-10-11 09:30:42 +00:00
4e738bc3ff update links
hannes pushed to main at robur/unikernel-repo 2024-10-08 14:00:22 +00:00
c9a397abc1 updated mollymawk (albatross dependency)
hannes pushed to main at robur/unikernel-repo 2024-10-08 08:35:56 +00:00
fdd562c360 update dnsvizor
9a9b84257b update dns-stub with new repository
Compare 2 commits »
hannes pushed to main at robur/unikernel-repo 2024-10-07 16:51:09 +00:00
62b4135be7 bump albatross version
hannes pushed tag v0.2.0 to robur/webauthn 2024-10-04 06:15:43 +00:00
hannes deleted branch opam-checksums from robur/opam-mirror 2024-10-03 22:10:14 +00:00
hannes pushed to main at robur/opam-mirror 2024-10-03 22:10:11 +00:00
534292ec3f Merge pull request 'Remove unnecessary complexity' (#2) from opam-checksums into main
02f9c2f9c7 Remove unnecessary complexity
Compare 2 commits »
hannes merged pull request robur/opam-mirror#2 2024-10-03 22:10:09 +00:00
Remove unnecessary complexity
hannes commented on pull request robur/opam-mirror#2 2024-10-03 22:09:59 +00:00
Remove unnecessary complexity

looks good to me, thanks!

hannes pushed to main at robur/unikernel-repo 2024-10-02 20:07:45 +00:00
4b92916029 update miragevpn-router & miragevpn-server unikernels
hannes commented on pull request robur/unikernel-repo#3 2024-10-01 11:59:22 +00:00
WIP: Import qubes-miragevpn-xen.opam as-is

while that being a job that could be automated, I haven't bothered to do so.I suspect some opam-2-way-merge utility using the opam library to use build & description etc. from (a) and the deps…