|
|
e942085670
|
unipi-with-kv: update from upstream
|
2022-05-22 20:59:03 +02:00 |
|
|
|
0b80807056
|
unipi: update from upstream
|
2022-05-22 17:21:44 +02:00 |
|
|
|
e1896cb892
|
builder-web: update opam file from upstream
|
2022-05-16 12:58:49 +02:00 |
|
|
|
c8750be325
|
albatross: update from upstream
|
2022-05-16 12:24:11 +02:00 |
|
|
|
f3690bdc4b
|
caldav: require fmt 0.8.7+
|
2022-04-15 16:23:44 +02:00 |
|
|
|
8e73a6ef93
|
unipi: restrict to irmin < 3.0.0
|
2022-04-15 16:18:56 +02:00 |
|
|
|
3ca57bd4c4
|
caldav: another update
|
2022-04-15 16:06:13 +02:00 |
|
|
|
6fc61d2fb3
|
unipi: adapt bounds
|
2022-04-15 15:56:34 +02:00 |
|
|
|
1f26c8361a
|
caldav: restrict to irmin < 3
|
2022-04-15 15:30:47 +02:00 |
|
|
|
5639b26b9c
|
restrict paf to < 0.0.9
|
2022-04-14 11:36:05 +02:00 |
|
|
|
05549c163a
|
*unikernel: restrict to git=3.7.0
|
2022-04-11 13:05:50 +02:00 |
|
|
|
91786483c3
|
dns-primary-git: update
|
2022-04-11 12:58:02 +02:00 |
|
|
|
5ebd054872
|
fix hello, static-website branch name
|
2022-04-05 19:16:35 +02:00 |
|
|
|
0fc43c22af
|
modulectomy: update from upstream
|
2022-04-04 13:19:31 +02:00 |
|
|
|
177b46020c
|
mirage-skeleton projects: use mirage3 branch
|
2022-04-04 12:41:03 +02:00 |
|
|
|
2f381aa2d4
|
xmpp: require cstruct >=6.0.0
|
2022-04-04 12:38:13 +02:00 |
|
|
|
320191691d
|
more cmdliner 1.1.0 requirements
|
2022-03-16 13:25:18 +01:00 |
|
|
|
019cec9d65
|
orb: update from upstream (cmdliner 1.1.0)
|
2022-03-15 21:54:29 +01:00 |
|
|
|
48725da0c6
|
builder: update from upstream (cmdliner 1.1.0)
|
2022-03-15 21:53:38 +01:00 |
|
|
|
92e62cb149
|
albatross: update from upstream
|
2022-03-15 21:34:37 +01:00 |
|
|
|
4c9d58751f
|
use modulectomy from main branch
|
2022-03-03 15:21:11 +01:00 |
|
|
|
67e8f660f1
|
restrict ptt to irmin < 3
|
2022-03-03 11:25:06 +01:00 |
|
|
|
4d003e5587
|
dune 3.0.3 is out - no need to restrict any package with dune < 3.0 anymore (FreeBSD uses gmake now)
|
2022-03-02 13:39:36 +01:00 |
|
|
|
af59db64dd
|
static-website: use port 80 & 443
|
2022-03-02 12:05:37 +01:00 |
|
|
|
5e2b2244c5
|
static website unikernel
|
2022-03-02 11:59:55 +01:00 |
|
|
|
3e644df40f
|
use the hello-key as hello unikernel
|
2022-03-01 22:36:06 +01:00 |
|
|
|
59fe5abd06
|
add a hello world unikernel
|
2022-03-01 22:28:34 +01:00 |
|
|
|
866ca47c31
|
dns-primary-git, canopy: restrict to irmin < 3.0
|
2022-02-28 11:40:01 +01:00 |
|
|
|
8ab1b53735
|
albatross: require cmdliner < 1.1.0
|
2022-02-25 16:02:43 +01:00 |
|
|
|
6502089e17
|
monitoring-experiments: require dune < 3 to enable building on FreeBSD
|
2022-02-25 15:58:18 +01:00 |
|
|
|
5e86253c00
|
albatross, builder, jackline: restrict to dune < 3 (until 3.0.3 is released that works on FreeBSD)
|
2022-02-25 15:50:01 +01:00 |
|
Robur
|
b5c655898c
|
add albatross
|
2022-02-25 11:30:09 +00:00 |
|
|
|
f4108c4e0d
|
add solo5-elftool and owee dependency
|
2022-02-23 22:13:31 +01:00 |
|
|
|
7f2f93fee5
|
builder-web: restrict to old dune for now (until 3.0.3 is released)
|
2022-02-23 13:30:51 +01:00 |
|
|
|
c8d5e80e29
|
builder-web requires dream 1.0 alpha2
|
2022-02-23 13:21:41 +01:00 |
|
|
|
2303f22168
|
rename solo5-bindings-hvt version number
|
2022-02-16 18:00:53 +01:00 |
|
|
|
a284336efa
|
solo5-bindings-hvt bump version
|
2022-02-16 16:03:39 +01:00 |
|
|
|
34dceec1a1
|
bump solo5 to 0.6.9
|
2022-02-16 15:59:16 +01:00 |
|
|
|
ea122e28fb
|
restrict unikernels to git < 3.8.0
|
2022-02-05 11:41:55 +01:00 |
|
|
|
b2e27d46f2
|
Add opam-graph, modulectomy packages
Remove pin-depends in builder-web and add new package opam-graph and
update modulectomy branch.
|
2022-02-02 13:03:50 +00:00 |
|
|
|
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 |
|
