Advertisement
Guest User

Untitled

a guest
Jan 4th, 2017
139
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.71 KB | None | 0 0
  1. ~/mirage-dev$ for url in `find . -name url`; do echo -n "$url: "; cat $url; done |grep -v "github.com/mirage/"
  2. ./packages/mirage-stdlib-random/mirage-stdlib-random.dev~mirage/url: git: "https://github.com/hannesm/mirage-stdlib-random.git"
  3. ./packages/vchan/vchan.dev~mirage/url: git: "https://github.com/samoht/ocaml-vchan.git"
  4. ./packages/ocb-stubblr/ocb-stubblr.dev~mirage/url: git: "https://github.com/pqwy/ocb-stubblr.git"
  5. ./packages/xenctrl/xenctrl.dev~mirage/url: git: "https://github.com/avsm/ocaml-xen-lowlevel-libs.git#fix-fc24-compile"
  6. ./packages/session/session.dev~mirage/url: git: "https://github.com/talex5/ocaml-session.git#redis"
  7. ./packages/imaplet-lwt/imaplet-lwt.dev~mirage/url: git: "https://github.com/yomimono/imaplet-lwt.git#ppx"
  8. ./packages/mirage-os-shim/mirage-os-shim.dev~mirage/url: git: "git://github.com/pqwy/mirage-os-shim.git"
  9. ./packages/datakit/datakit.dev~mirage/url: git: "https://github.com/docker/datakit.git"
  10. ./packages/randomconv/randomconv.dev~mirage/url: git: "https://github.com/hannesm/randomconv.git"
  11. ./packages/charrua-core/charrua-core.dev~mirage/url: git: "git://github.com/haesbaert/charrua-core.git"
  12. ./packages/solo5-kernel-ukvm/solo5-kernel-ukvm.dev~mirage/url: git: "git://github.com/solo5/solo5"
  13. ./packages/logs-syslog/logs-syslog.dev~mirage/url: git: "https://github.com/hannesm/logs-syslog.git#dev"
  14. ./packages/mirage-qubes/mirage-qubes.dev~mirage/url: git: "https://github.com/talex5/mirage-qubes.git#ipv4"
  15. ./packages/datakit-ci/datakit-ci.dev~mirage/url: git: "https://github.com/docker/datakit.git"
  16. ./packages/solo5-kernel-virtio/solo5-kernel-virtio.dev~mirage/url: git: "git://github.com/solo5/solo5"
  17. ./packages/nbd/nbd.dev~mirage/url: git: "https://github.com/hannesm/nbd.git#error"
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement