···

       
94
       
94
       
 
       
  ]

     

       
95
       
95
       
 
       
]

     

       
96
       
96
       
 
       
url {

     

       
97
       
97
       
-
       
  src: "https://gforge.inria.fr/frs/download.php/31595/dose3-3.1.2.tar.gz"

     

       
97
       
97
       
+
       
  src: "https://github.com/ocaml/opam-source-archives/raw/main/dose3-3.1.2.tar.gz"

     

       
98
       
98
       
 
       
  checksum: "md5=e98ff720fcc3873def46c85c6a980a1b"

     

       
99
       
99
       
 
       
}

     

···

       
54
       
54
       
 
       
  ]

     

       
55
       
55
       
 
       
]

     

       
56
       
56
       
 
       
url {

     

       
57
       
57
       
-
       
  src: "https://gforge.inria.fr/frs/download.php/file/34277/dose3-3.3.tar.gz"

     

       
57
       
57
       
+
       
  src: "https://github.com/ocaml/opam-source-archives/raw/main/dose3-3.3.tar.gz"

     

       
58
       
58
       
 
       
  checksum: "md5=ea947804c636059bb8b64dbda5c1df08"

     

       
59
       
59
       
 
       
}

     

···

       
37
       
37
       
 
       
depexts: ["perl-Pod-Html"] {os-distribution = "fedora"}

     

       
38
       
38
       
 
       
synopsis: "Dose library (part of Mancoosi tools)"

     

       
39
       
39
       
 
       
url {

     

       
40
       
40
       
-
       
  src: "https://gforge.inria.fr/frs/download.php/file/35438/dose3-4.1.tar.gz"

     

       
40
       
40
       
+
       
  src: "https://github.com/ocaml/opam-source-archives/raw/main/dose3-4.1.tar.gz"

     

       
41
       
41
       
 
       
  checksum: "md5=a571c85a3bd0ed4a3ef9450880e2e92d"

     

       
42
       
42
       
 
       
}

     

···

       
37
       
37
       
 
       
depexts: ["perl-Pod-Html"] {os-distribution = "fedora"}

     

       
38
       
38
       
 
       
synopsis: "Dose library (part of Mancoosi tools)"

     

       
39
       
39
       
 
       
url {

     

       
40
       
40
       
-
       
  src: "https://gforge.inria.fr/frs/download.php/file/35465/dose3-4.2.tar.gz"

     

       
40
       
40
       
+
       
  src: "https://github.com/ocaml/opam-source-archives/raw/main/dose3-4.2.tar.gz"

     

       
41
       
41
       
 
       
  checksum: "md5=99a5c01496165e47d8fda8e3810c62a1"

     

       
42
       
42
       
 
       
}