mirage/mirage-dev issues and pull requests

#390 - remove digestif 1.1.1 overlay

Pull Request - State: closed - Opened by hannesm over 1 year ago

#389 - Test opam monorepo 3

Pull Request - State: closed - Opened by TheLortex almost 3 years ago - 1 comment

#388 - Remove released packages

Pull Request - State: closed - Opened by samoht almost 3 years ago

#387 - Rename the freestanding context to solo5 for mirage-{console,net,block}-solo5

Pull Request - State: closed - Opened by dinosaure almost 3 years ago

#386 - Add ocaml-solo5.0.8.0

Pull Request - State: closed - Opened by dinosaure almost 3 years ago - 1 comment

#385 - Delete released packages

Pull Request - State: closed - Opened by dinosaure almost 3 years ago - 1 comment

#384 - Remove mirage-unix package

Pull Request - State: closed - Opened by dinosaure almost 3 years ago

#383 - Delete mirage-{xen,solo5}

Pull Request - State: closed - Opened by dinosaure almost 3 years ago

#382 - Remove packages from the MirageOS distribution

Pull Request - State: closed - Opened by dinosaure almost 3 years ago

#381 - mirage and functoria are now released

Pull Request - State: closed - Opened by samoht about 3 years ago - 10 comments

#380 - Update mirage-clock{,-unix,freestanding} with upstream

Pull Request - State: closed - Opened by dinosaure about 3 years ago - 1 comment

#379 - Sync to upstream mirage

Pull Request - State: closed - Opened by TheLortex about 3 years ago

#378 - Remove zarith (and take the one provided by dune-universe/opam-mirage-overlays)

Pull Request - State: closed - Opened by dinosaure about 3 years ago - 1 comment

#377 - No common OS module

Pull Request - State: closed - Opened by dinosaure about 3 years ago - 4 comments

#376 - Use a less complex fork of Zarith

Pull Request - State: closed - Opened by dinosaure about 3 years ago - 1 comment

#375 - Delete useless parsexp package (parsexp.v0.14.2 was released into opam-repository)

Pull Request - State: closed - Opened by dinosaure about 3 years ago - 1 comment

#374 - Upgrade mirage-clock with the new layout compatible with opam and opam-monorepo

Pull Request - State: closed - Opened by dinosaure about 3 years ago

#373 - base v.0.14.3 is relased in opam-repo

Pull Request - State: closed - Opened by samoht about 3 years ago - 5 comments

#372 - ocaml-freestanding is now released to opam-repository

Pull Request - State: closed - Opened by hannesm about 3 years ago - 6 comments

#371 - Delete released version of solo5.0.7.0

Pull Request - State: closed - Opened by dinosaure about 3 years ago - 5 comments

#370 - update git commit of ocaml-freestanding to my PR branch

Pull Request - State: closed - Opened by hannesm about 3 years ago - 1 comment

#369 - mirage-solo5/mirage-xen: don't try to support MirageOS 3

Pull Request - State: closed - Opened by TheLortex about 3 years ago - 6 comments

#368 - Update base fork to v0.14.2

Pull Request - State: closed - Opened by TheLortex about 3 years ago

#367 - mirage-solo5: depend on mirage-runtime, not mirage

Pull Request - State: closed - Opened by hannesm about 3 years ago - 1 comment

#366 - Add Gilbraltar (RPi4) packages

Pull Request - State: open - Opened by dinosaure about 3 years ago

#365 - Update zarith

Pull Request - State: closed - Opened by TheLortex over 3 years ago - 1 comment

#364 - add opam-monorepo's dev version

Pull Request - State: closed - Opened by samoht over 3 years ago - 2 comments

#363 - Update to lastest mirage's main

Pull Request - State: closed - Opened by samoht over 3 years ago

#362 - Remove packages that are now in opam-overlays

Pull Request - State: closed - Opened by samoht over 3 years ago

#361 - Re-add opam-monorepo as a dependency to mirage

Pull Request - State: closed - Opened by samoht over 3 years ago

#360 - Remove opam-monorepo now that it is released

Pull Request - State: closed - Opened by samoht over 3 years ago

#359 - Update to latest mirage

Pull Request - State: closed - Opened by samoht over 3 years ago - 5 comments

#358 - add opam-monorepo's dev version

Pull Request - State: closed - Opened by samoht over 3 years ago - 1 comment

#357 - Delete `mimic` package

Pull Request - State: closed - Opened by dinosaure over 3 years ago

#356 - Delete gmp.6.2.1

Pull Request - State: closed - Opened by dinosaure over 3 years ago - 1 comment

#355 - Remove released packages

Pull Request - State: closed - Opened by samoht over 3 years ago - 5 comments

#354 - Remove released packages

Pull Request - State: closed - Opened by samoht over 3 years ago - 4 comments

#353 - Update to mirage's main branch

Pull Request - State: closed - Opened by samoht over 3 years ago

#352 - Delete our parsexp.0.14.1 overlay

Pull Request - State: closed - Opened by dinosaure over 3 years ago - 1 comment

#351 - Delete our base.0.14.1 overlay

Pull Request - State: closed - Opened by dinosaure over 3 years ago - 1 comment

#350 - Update opam file of mirage to require functoria.4.0.0

Pull Request - State: closed - Opened by dinosaure over 3 years ago - 1 comment

#349 - Remove conflicts between ocaml-git/mimic

Pull Request - State: closed - Opened by dinosaure over 3 years ago

#348 - Update functoria.4.0.0

Pull Request - State: closed - Opened by dinosaure over 3 years ago

#347 - Update mirage.4.0.0 to really use the latest version

Pull Request - State: closed - Opened by dinosaure over 3 years ago - 2 comments

#346 - Add a constraint about zarith/mirage.4.0.0 on mirage-crypto-pk.0.10.1

Pull Request - State: closed - Opened by dinosaure over 3 years ago

#345 - Packages needed for mirage+dune

Pull Request - State: closed - Opened by TheLortex over 3 years ago

#344 - Required packages for conduit.4.0.0

Pull Request - State: closed - Opened by dinosaure almost 4 years ago - 1 comment

#343 - Required packages for conduit.4.0.0

Pull Request - State: closed - Opened by dinosaure almost 4 years ago

#342 - Add packages affected by keepalives

Pull Request - State: closed - Opened by djs55 over 7 years ago

#341 - Add a Dockerfile to reproduce a travis build

Pull Request - State: closed - Opened by djs55 over 7 years ago

#340 - remove packages now released in mirage 3

Pull Request - State: closed - Opened by yomimono almost 8 years ago - 2 comments

#339 - using mirage-dev, git-unix fails to install

Issue - State: closed - Opened by jnavila almost 8 years ago - 2 comments

#338 - Add nbd.3.0.0

Pull Request - State: closed - Opened by djs55 almost 8 years ago - 1 comment

#337 - Changed git protocol in all url files to https

Pull Request - State: closed - Opened by verbosemode almost 8 years ago - 1 comment

#336 - Remove fork of session now that it is released

Pull Request - State: closed - Opened by samoht almost 8 years ago

#335 - merge charrua-core.opam from upstream (topkg'ed)

Pull Request - State: closed - Opened by hannesm almost 8 years ago - 1 comment

#334 - pull hannesm's tcpip opam fixes

Pull Request - State: closed - Opened by yomimono about 8 years ago - 1 comment

#333 - Update nbd

Pull Request - State: closed - Opened by djs55 about 8 years ago - 1 comment

#332 - datakit: sync opam with upstream mirage-dev branch

Pull Request - State: closed - Opened by avsm about 8 years ago

#331 - Prom channel

Pull Request - State: closed - Opened by yomimono about 8 years ago - 2 comments

#330 - add working branches to get the datakit libraries compiling again

Pull Request - State: closed - Opened by avsm about 8 years ago

#329 - human-filtered automatic lower bounds

Pull Request - State: closed - Opened by yomimono about 8 years ago

#328 - logs-syslog dev branch merged to master

Pull Request - State: closed - Opened by hannesm about 8 years ago

#327 - pull better opams from upstream

Pull Request - State: closed - Opened by yomimono about 8 years ago

#326 - randomconv is released to the opam repository

Pull Request - State: closed - Opened by hannesm about 8 years ago - 1 comment

#325 - Sync upstream datakit-ci metadata, add prometheus-app

Pull Request - State: closed - Opened by avsm about 8 years ago - 1 comment

#324 - protocol-9p: sync with upstream opam

Pull Request - State: closed - Opened by avsm about 8 years ago

#323 - datakit: point to working mirage-dev branch

Pull Request - State: closed - Opened by avsm about 8 years ago

#322 - hvsock: sync with upstream hvsock opam file in mirage-dev

Pull Request - State: closed - Opened by avsm about 8 years ago

#321 - sync opam for logs-syslog

Pull Request - State: closed - Opened by yomimono about 8 years ago - 1 comment

#320 - get rid of mirage-stdlib-random

Pull Request - State: closed - Opened by hannesm about 8 years ago - 4 comments

#319 - 9p and charrua-client fixes

Pull Request - State: closed - Opened by hannesm about 8 years ago

#318 - fix mirage-kv{-lwt} opam files from upstream

Pull Request - State: closed - Opened by hannesm about 8 years ago - 1 comment

#317 - add latest datakit packages

Pull Request - State: closed - Opened by avsm about 8 years ago

#316 - add org:mirage tag to mirage libraries

Pull Request - State: closed - Opened by avsm about 8 years ago - 1 comment

#315 - fix functoria and functoria-runtime constraint

Pull Request - State: closed - Opened by hannesm about 8 years ago - 1 comment

#314 - add org:mirage to some packages

Pull Request - State: closed - Opened by avsm about 8 years ago - 2 comments

#313 - propagate dns opam fixes

Pull Request - State: closed - Opened by yomimono about 8 years ago - 1 comment

#312 - sync mainly topkg>=0.8.0 constraints, but other things as well

Pull Request - State: closed - Opened by hannesm about 8 years ago - 4 comments

#311 - opam updates (mirage-stdlib-random/arp/logs-syslog)

Pull Request - State: closed - Opened by hannesm about 8 years ago - 2 comments

#310 - constraint runtime to a modern version of mirage-types

Pull Request - State: closed - Opened by avsm about 8 years ago

#309 - sync ocaml version with mirage/mirage-protocols#1

Pull Request - State: closed - Opened by avsm about 8 years ago - 2 comments