Contact Graph Routing for time-varying satellite networks
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Migrate dune-project files to tangled source format

Convert all packages from:
(source (uri https://tangled.org/handle/repo))
to:
(source (tangled handle/repo))

This uses dune 3.21's native tangled support for cleaner source
declarations. Also removes redundant homepage/bug_reports fields
that are auto-generated from tangled sources.

-4
-2
cgr.opam
··· 9 9 maintainer: ["Thomas Gazagnaire <thomas@gazagnaire.org>"] 10 10 authors: ["Thomas Gazagnaire <thomas@gazagnaire.org>"] 11 11 license: "ISC" 12 - homepage: "https://tangled.org/gazagnaire.org/ocaml-cgr" 13 - bug-reports: "https://tangled.org/gazagnaire.org/ocaml-cgr/issues" 14 12 depends: [ 15 13 "dune" {>= "3.0"} 16 14 "ocaml" {>= "5.1"}
-2
dune-project
··· 7 7 (license ISC) 8 8 (authors "Thomas Gazagnaire <thomas@gazagnaire.org>") 9 9 (maintainers "Thomas Gazagnaire <thomas@gazagnaire.org>") 10 - (homepage "https://tangled.org/gazagnaire.org/ocaml-cgr") 11 - (bug_reports "https://tangled.org/gazagnaire.org/ocaml-cgr/issues") 12 10 13 11 (package 14 12 (name cgr)