anil.recoil.org / opam-repository
this repo has no description
fork atom

Merge pull request #19812 from smorimoto/update-cudf

Update all CUDF package definition files

Marcello Seri 16b6efa6 351ea3ec

options
unified split
Changed files
+17 -17
packages
cudf
cudf.0.6.3
opam
cudf.0.7
opam
cudf.0.8
opam
cudf.0.9
opam
cudf.0.9-1
opam
+3 -3
packages/cudf/cudf.0.6.3/opam 
···

       
1

       
1

       
 

       
opam-version: "2.0"


     

       
2

       

       
-

       
maintainer: "https://github.com/ocaml/opam-repository/issues"


     

       

       
2

       
+

       
maintainer: "roberto@dicosmo.org"


     

       
3

       
3

       
 

       
substs: ["cudf.ocp"]


     

       
4

       
4

       
 

       
build: [


     

       
5

       
5

       
 

       
  ["ocp-build" "-init"]


     
···

       
22

       
22

       
 

       
  ["META" "md5=a6f24d3256cfffe346863448dfe147ef"]


     

       
23

       
23

       
 

       
]


     

       
24

       
24

       
 

       
url {


     

       
25

       

       
-

       
  src: "https://gforge.inria.fr/frs/download.php/31910/cudf-0.6.3.tar.gz"


     

       
26

       

       
-

       
  checksum: "md5=40c4e2c50ea96d0c9e565db16d20639a"


     

       

       
25

       
+

       
  src: "https://gitlab.com/irill/cudf/-/archive/v0.6.3/cudf-v0.6.3.tar.gz"


     

       

       
26

       
+

       
  checksum: "md5=2032050868dac5e7fbc1d91673820160"


     

       
27

       
27

       
 

       
}
+2 -2
packages/cudf/cudf.0.7/opam 
···

       
23

       
23

       
 

       
describing upgrade scenarios in package-based Free and Open Source


     

       
24

       
24

       
 

       
Software distribution."""


     

       
25

       
25

       
 

       
url {


     

       
26

       

       
-

       
  src: "https://gforge.inria.fr/frs/download.php/33593/cudf-0.7.tar.gz"


     

       
27

       

       
-

       
  checksum: "md5=2047222fcf78278c6a24ac619fc39abb"


     

       

       
26

       
+

       
  src: "https://gitlab.com/irill/cudf/-/archive/v0.7/cudf-v0.7.tar.gz"


     

       

       
27

       
+

       
  checksum: "md5=dcdf66ca91859372b5cce06872e493e6"


     

       
28

       
28

       
 

       
}
+4 -4
packages/cudf/cudf.0.8/opam 
···

       
2

       
2

       
 

       
maintainer: "roberto@dicosmo.org"


     

       
3

       
3

       
 

       
homepage: "http://www.mancoosi.org/cudf/"


     

       
4

       
4

       
 

       
authors: ["Roberto di Cosmo <roberto@dicosmo.org>" "Stefano Zacchiroli" "Pietro Abate"]


     

       
5

       

       
-

       
bug-reports: "https://gforge.inria.fr/tracker/?atid=13811&group_id=4385&func=browse"


     

       
6

       

       
-

       
dev-repo: "git+https://scm.gforge.inria.fr/anonscm/git/cudf/cudf.git"


     

       

       
5

       
+

       
bug-reports: "https://gitlab.com/irill/cudf/-/issues"


     

       

       
6

       
+

       
dev-repo: "git+https://gitlab.com/irill/cudf.git"


     

       
7

       
7

       
 

       
build: [make "all" "opt" "DOC="]


     

       
8

       
8

       
 

       
depends: [


     

       
9

       
9

       
 

       
  "ocaml"


     
···

       
27

       
27

       
 

       
describing upgrade scenarios in package-based Free and Open Source


     

       
28

       
28

       
 

       
Software distribution."""


     

       
29

       
29

       
 

       
url {


     

       
30

       

       
-

       
  src: "https://gforge.inria.fr/frs/download.php/file/34659/cudf-0.8.tar.gz"


     

       
31

       

       
-

       
  checksum: "md5=abf34d3daedd81580b7b32a871341b2f"


     

       

       
30

       
+

       
  src: "https://gitlab.com/irill/cudf/-/archive/v0.8/cudf-v0.8.tar.gz"


     

       

       
31

       
+

       
  checksum: "md5=3baa29de4bf43b708376c079fa1c90fc"


     

       
32

       
32

       
 

       
}
+4 -4
packages/cudf/cudf.0.9-1/opam 
···

       
2

       
2

       
 

       
maintainer: "roberto@dicosmo.org"


     

       
3

       
3

       
 

       
authors: ["Roberto di Cosmo <roberto@dicosmo.org>" "Stefano Zacchiroli" "Pietro Abate"]


     

       
4

       
4

       
 

       
homepage: "http://www.mancoosi.org/cudf/"


     

       
5

       

       
-

       
bug-reports: "https://gforge.inria.fr/tracker/?atid=13811&group_id=4385&func=browse"


     

       
6

       

       
-

       
dev-repo: "git+https://scm.gforge.inria.fr/anonscm/git/cudf/cudf.git"


     

       

       
5

       
+

       
bug-reports: "https://gitlab.com/irill/cudf/-/issues"


     

       

       
6

       
+

       
dev-repo: "git+https://gitlab.com/irill/cudf.git"


     

       
7

       
7

       
 

       
build: [make "all" "opt" "DOC="]


     

       
8

       
8

       
 

       
depends: [


     

       
9

       
9

       
 

       
  "ocaml"


     
···

       
22

       
22

       
 

       
describing upgrade scenarios in package-based Free and Open Source


     

       
23

       
23

       
 

       
Software distribution."""


     

       
24

       
24

       
 

       
url {


     

       
25

       

       
-

       
  src: "https://github.com/ocaml/opam-source-archives/raw/main/cudf-0.9.tar.gz"


     

       
26

       

       
-

       
  checksum: "md5=a4c0e652e56e74c7b388a43f9258d119"


     

       

       
25

       
+

       
  src: "https://gitlab.com/irill/cudf/-/archive/v0.9/cudf-v0.9.tar.gz"


     

       

       
26

       
+

       
  checksum: "md5=04f49e3227dc78a21fe32c3beab8c56e"


     

       
27

       
27

       
 

       
}
+4 -4
packages/cudf/cudf.0.9/opam 
···

       
2

       
2

       
 

       
maintainer: "roberto@dicosmo.org"


     

       
3

       
3

       
 

       
authors: ["Roberto di Cosmo <roberto@dicosmo.org>" "Stefano Zacchiroli" "Pietro Abate"]


     

       
4

       
4

       
 

       
homepage: "http://www.mancoosi.org/cudf/"


     

       
5

       

       
-

       
bug-reports: "https://gforge.inria.fr/tracker/?atid=13811&group_id=4385&func=browse"


     

       
6

       

       
-

       
dev-repo: "git+https://scm.gforge.inria.fr/anonscm/git/cudf/cudf.git"


     

       

       
5

       
+

       
bug-reports: "https://gitlab.com/irill/cudf/-/issues"


     

       

       
6

       
+

       
dev-repo: "git+https://gitlab.com/irill/cudf.git"


     

       
7

       
7

       
 

       
build: [make "all" "opt" "DOC="]


     

       
8

       
8

       
 

       
depends: [


     

       
9

       
9

       
 

       
  "ocaml"


     
···

       
26

       
26

       
 

       
describing upgrade scenarios in package-based Free and Open Source


     

       
27

       
27

       
 

       
Software distribution."""


     

       
28

       
28

       
 

       
url {


     

       
29

       

       
-

       
  src: "https://github.com/ocaml/opam-source-archives/raw/main/cudf-0.9.tar.gz"


     

       
30

       

       
-

       
  checksum: "md5=a4c0e652e56e74c7b388a43f9258d119"


     

       

       
29

       
+

       
  src: "https://gitlab.com/irill/cudf/-/archive/v0.9/cudf-v0.9.tar.gz"


     

       

       
30

       
+

       
  checksum: "md5=04f49e3227dc78a21fe32c3beab8c56e"


     

       
31

       
31

       
 

       
}