|
ec91a8f809
|
Update builder-web opam file
- Depend on tar, opam-graph, modulectomy
- Add pin-depends on opam-graph, modulectomy
|
2022-02-02 11:43:50 +00:00 |
|
|
812e7e2ce4
|
monitoring-experiments: update from upstream (pinned -> dev)
|
2022-01-29 17:06:31 +01:00 |
|
|
aa3f1f32e7
|
monitoring-experiments: update opam from upstream
|
2022-01-29 15:30:07 +01:00 |
|
|
bdb6fecd34
|
bump monitoring-experiments version number
|
2022-01-29 00:12:41 +01:00 |
|
|
ec0b382a68
|
add ~dev suffix to monitoring-experiments
|
2022-01-28 19:28:34 +01:00 |
|
|
576468ccf4
|
ptt moved to mirage org
|
2022-01-27 19:19:07 +01:00 |
|
|
c6b8058230
|
monitoring-experiments: adapt dependencies from upstream
|
2022-01-27 14:58:54 +01:00 |
|
|
dd646cf82d
|
monitoring-experiments: adapt from upstream changes
|
2022-01-27 12:24:31 +01:00 |
|
|
71c81a4133
|
monitoring-experiments transfered to roburio on github
|
2022-01-27 12:18:23 +01:00 |
|
|
1990e5762d
|
remove libffi, which was merged upstream
|
2022-01-27 11:37:32 +01:00 |
|
|
2bd97e75dd
|
add conf-libffi freebsd depext
|
2022-01-25 17:26:23 +01:00 |
|
|
ac6dfc4dd4
|
smtp stack
|
2022-01-25 17:04:46 +01:00 |
|
|
4d90bcd2cc
|
smtp helper packages
|
2022-01-25 16:34:23 +01:00 |
|
|
4ffdff17e7
|
dns-letsencrypt updates
|
2022-01-09 15:51:13 +01:00 |
|
|
38273c53d1
|
dns-resolver updates
|
2022-01-09 15:46:48 +01:00 |
|
|
c39bb8f951
|
mirage-dnsvizor: update
|
2022-01-09 15:42:48 +01:00 |
|
|
4b41c04623
|
mirage-dns-stub: update
|
2022-01-09 15:41:32 +01:00 |
|
|
f407d8cd0e
|
mirage-unikernel-retreat: update
|
2022-01-09 15:39:39 +01:00 |
|
|
8cd282b9c7
|
mirage-unikernel-nqsb: update
|
2022-01-09 15:36:21 +01:00 |
|
|
94d738e14c
|
mirage-dns-secondary-monitoring: update
|
2022-01-09 15:32:28 +01:00 |
|
|
5c8987d8ab
|
mirage-dns-secondary: update
|
2022-01-09 15:30:33 +01:00 |
|
|
91a7c04fd6
|
openvpn: updates
|
2022-01-09 15:18:18 +01:00 |
|
|
54f6cc2c7d
|
mirage-tlstunnel-monitoring: update
|
2022-01-09 15:03:05 +01:00 |
|
|
0c44c9f11e
|
mirage-tlstunnel: update
|
2022-01-09 15:02:19 +01:00 |
|
|
9b1ffb7c91
|
mirage-unikernel-robur: update
|
2022-01-09 14:52:59 +01:00 |
|
|
c942476487
|
mirage-unikernel-hannes-nqsb: update
|
2022-01-09 14:50:47 +01:00 |
|
|
d0a4385226
|
mirage-unikernel-caldav-monitoring-le: update
|
2022-01-09 14:42:02 +01:00 |
|
|
a62f9ac7f1
|
mirage-unikernel-caldav-monitoring: update
|
2022-01-09 14:39:17 +01:00 |
|
|
f63bedd669
|
mirage-unikernel-caldav: update
|
2022-01-09 14:34:32 +01:00 |
|
|
d1705a14fc
|
mirage-unikernel-unipi-with-kv: update
|
2022-01-09 14:18:21 +01:00 |
|
|
14c64b1011
|
mirage-unikernel-unipi: update
|
2022-01-09 14:12:19 +01:00 |
|
|
56625cd73a
|
update qubes-firewall
|
2022-01-09 13:39:28 +01:00 |
|
|
e8fabd82c3
|
update dns-primary-git-monitoring
|
2022-01-09 13:37:13 +01:00 |
|
|
f106f8795d
|
update dns-primary-git
|
2022-01-09 13:34:07 +01:00 |
|
|
71678b1fc6
|
rename xmpp packages to dev versions
|
2021-12-29 01:33:26 +01:00 |
|
|
653b5a1cc3
|
opam: pinned -> dev
|
2021-12-28 17:14:54 +01:00 |
|
|
842207b1f4
|
add jackline & friends
|
2021-12-28 17:00:22 +01:00 |
|
|
c9f0292923
|
update dnsvizor opam file
|
2021-12-21 12:17:29 +01:00 |
|
|
51964a4a4b
|
update traceroute opam file
|
2021-12-21 12:13:28 +01:00 |
|
|
dc39578ffe
|
update from upstream
|
2021-12-09 21:59:24 +01:00 |
|
Robur
|
c1f520c3ff
|
modulectomy: add containers-data dep
|
2021-12-06 12:47:50 +00:00 |
|
Robur
|
39e35110a9
|
modulectomy: add deps
|
2021-12-06 11:54:17 +00:00 |
|
Robur
|
ea69e8090b
|
add modulectomy
|
2021-12-06 11:28:02 +00:00 |
|
Robur
|
111e33d802
|
update dns-resolver from upstream
|
2021-11-19 14:27:17 +00:00 |
|
Robur
|
1beaa5d07a
|
update dns-resolver from upstream
|
2021-11-19 14:17:39 +00:00 |
|
|
7ce4cb8e82
|
update builder-web from upstream
|
2021-11-14 13:57:50 +01:00 |
|
|
3953e7d270
|
move builder to newer version
|
2021-11-12 12:49:24 +01:00 |
|
|
e2899ca599
|
update orb.opam from upstream (opam 2.1.1 is good)
|
2021-11-12 12:37:00 +01:00 |
|
|
cf4596b749
|
qubes-firewall: build from master branch
|
2021-11-12 12:32:51 +01:00 |
|
|
46cebf73da
|
remove qubes-firewall-flambda
|
2021-11-11 10:41:56 +01:00 |
|