commit 97587e7735bcb7550502f4e9ddd866f7fc9c123b · anil.recoil.org/opam-repository

+1 -1

packages/combine/combine.0.6/opam

···

       27
       27
        
         - Tiling: converts a 2D tiling problem into an EMC problem"""

     

       28
       28
        
       flags: light-uninstall

     

       29
       29
        
       url {

     

       30
       30
       -
         src: "https://github.com/backtracking/combine/archive/release-0.6.zip"

     

       30
       30
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/combine-0.6.tar.gz"

     

       31
       31
        
         checksum: "md5=224c1aa36a7ee6a2223f2bca4e5f6f0f"

     

       32
       32
        
       }

+1 -1

packages/ffmpeg-av/ffmpeg-av.1.0.0/opam

···

       34
       34
        
       ]

     

       35
       35
        
       dev-repo: "git+https://github.com/savonet/ocaml-ffmpeg.git"

     

       36
       36
        
       url {

     

       37
       37
       -
         src: "https://github.com/savonet/ocaml-ffmpeg/archive/v1.0.0.tar.gz"

     

       37
       37
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/ffmpeg-1.0.0.tar.gz"

     

       38
       38
        
         checksum: [

     

       39
       39
        
           "md5=d3d6db317b8be680de45073c93853177"

     

       40
       40
        
           "sha512=bba0d883770911ab54ada967e7bb2d606cdec4a01d9af66f546bd997465316abebf8a99e9a29fffd90cd44fffa0fb632ef386a8ffd31340cfb4f4d23fb6e4d79"

+1 -1

packages/ffmpeg-avcodec/ffmpeg-avcodec.1.0.0/opam

···

       33
       33
        
       ]

     

       34
       34
        
       dev-repo: "git+https://github.com/savonet/ocaml-ffmpeg.git"

     

       35
       35
        
       url {

     

       36
       36
       -
         src: "https://github.com/savonet/ocaml-ffmpeg/archive/v1.0.0.tar.gz"

     

       36
       36
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/ffmpeg-1.0.0.tar.gz"

     

       37
       37
        
         checksum: [

     

       38
       38
        
           "md5=d3d6db317b8be680de45073c93853177"

     

       39
       39
        
           "sha512=bba0d883770911ab54ada967e7bb2d606cdec4a01d9af66f546bd997465316abebf8a99e9a29fffd90cd44fffa0fb632ef386a8ffd31340cfb4f4d23fb6e4d79"

+1 -1

packages/ffmpeg-avdevice/ffmpeg-avdevice.1.0.0/opam

···

       33
       33
        
       ]

     

       34
       34
        
       dev-repo: "git+https://github.com/savonet/ocaml-ffmpeg.git"

     

       35
       35
        
       url {

     

       36
       36
       -
         src: "https://github.com/savonet/ocaml-ffmpeg/archive/v1.0.0.tar.gz"

     

       36
       36
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/ffmpeg-1.0.0.tar.gz"

     

       37
       37
        
         checksum: [

     

       38
       38
        
           "md5=d3d6db317b8be680de45073c93853177"

     

       39
       39
        
           "sha512=bba0d883770911ab54ada967e7bb2d606cdec4a01d9af66f546bd997465316abebf8a99e9a29fffd90cd44fffa0fb632ef386a8ffd31340cfb4f4d23fb6e4d79"

+1 -1

packages/ffmpeg-avfilter/ffmpeg-avfilter.1.0.0/opam

···

       33
       33
        
       ]

     

       34
       34
        
       dev-repo: "git+https://github.com/savonet/ocaml-ffmpeg.git"

     

       35
       35
        
       url {

     

       36
       36
       -
         src: "https://github.com/savonet/ocaml-ffmpeg/archive/v1.0.0.tar.gz"

     

       36
       36
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/ffmpeg-1.0.0.tar.gz"

     

       37
       37
        
         checksum: [

     

       38
       38
        
           "md5=d3d6db317b8be680de45073c93853177"

     

       39
       39
        
           "sha512=bba0d883770911ab54ada967e7bb2d606cdec4a01d9af66f546bd997465316abebf8a99e9a29fffd90cd44fffa0fb632ef386a8ffd31340cfb4f4d23fb6e4d79"

+1 -1

packages/ffmpeg-avutil/ffmpeg-avutil.1.0.0/opam

···

       33
       33
        
       ]

     

       34
       34
        
       dev-repo: "git+https://github.com/savonet/ocaml-ffmpeg.git"

     

       35
       35
        
       url {

     

       36
       36
       -
         src: "https://github.com/savonet/ocaml-ffmpeg/archive/v1.0.0.tar.gz"

     

       36
       36
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/ffmpeg-1.0.0.tar.gz"

     

       37
       37
        
         checksum: [

     

       38
       38
        
           "md5=d3d6db317b8be680de45073c93853177"

     

       39
       39
        
           "sha512=bba0d883770911ab54ada967e7bb2d606cdec4a01d9af66f546bd997465316abebf8a99e9a29fffd90cd44fffa0fb632ef386a8ffd31340cfb4f4d23fb6e4d79"

+1 -1

packages/ffmpeg-swresample/ffmpeg-swresample.1.0.0/opam

···

       34
       34
        
       ]

     

       35
       35
        
       dev-repo: "git+https://github.com/savonet/ocaml-ffmpeg.git"

     

       36
       36
        
       url {

     

       37
       37
       -
         src: "https://github.com/savonet/ocaml-ffmpeg/archive/v1.0.0.tar.gz"

     

       37
       37
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/ffmpeg-1.0.0.tar.gz"

     

       38
       38
        
         checksum: [

     

       39
       39
        
           "md5=d3d6db317b8be680de45073c93853177"

     

       40
       40
        
           "sha512=bba0d883770911ab54ada967e7bb2d606cdec4a01d9af66f546bd997465316abebf8a99e9a29fffd90cd44fffa0fb632ef386a8ffd31340cfb4f4d23fb6e4d79"

+1 -1

packages/ffmpeg-swscale/ffmpeg-swscale.1.0.0/opam

···

       33
       33
        
       ]

     

       34
       34
        
       dev-repo: "git+https://github.com/savonet/ocaml-ffmpeg.git"

     

       35
       35
        
       url {

     

       36
       36
       -
         src: "https://github.com/savonet/ocaml-ffmpeg/archive/v1.0.0.tar.gz"

     

       36
       36
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/ffmpeg-1.0.0.tar.gz"

     

       37
       37
        
         checksum: [

     

       38
       38
        
           "md5=d3d6db317b8be680de45073c93853177"

     

       39
       39
        
           "sha512=bba0d883770911ab54ada967e7bb2d606cdec4a01d9af66f546bd997465316abebf8a99e9a29fffd90cd44fffa0fb632ef386a8ffd31340cfb4f4d23fb6e4d79"

+1 -1

packages/ffmpeg/ffmpeg.1.0.0/opam

···

       33
       33
        
       ]

     

       34
       34
        
       dev-repo: "git+https://github.com/savonet/ocaml-ffmpeg.git"

     

       35
       35
        
       url {

     

       36
       36
       -
         src: "https://github.com/savonet/ocaml-ffmpeg/archive/v1.0.0.tar.gz"

     

       36
       36
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/ffmpeg-1.0.0.tar.gz"

     

       37
       37
        
         checksum: [

     

       38
       38
        
           "md5=d3d6db317b8be680de45073c93853177"

     

       39
       39
        
           "sha512=bba0d883770911ab54ada967e7bb2d606cdec4a01d9af66f546bd997465316abebf8a99e9a29fffd90cd44fffa0fb632ef386a8ffd31340cfb4f4d23fb6e4d79"

+1 -1

packages/glical/glical.0.0.4/opam

···

       26
       26
        
       synopsis: "Glical: glancing at iCalendar data."

     

       27
       27
        
       description: "A library to glance at iCalendar data using OCaml."

     

       28
       28
        
       url {

     

       29
       29
       -
         src: "http://pw374.github.io/distrib/glical/glical-0.0.4.tar.gz"

     

       29
       29
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/glical-0.0.4.tar.gz"

     

       30
       30
        
         checksum: "md5=a40bb6d2a9801f43300404fe017e5722"

     

       31
       31
        
       }

+1 -1

packages/glical/glical.0.0.5/opam

···

       26
       26
        
       synopsis: "Glical: glancing at iCalendar data."

     

       27
       27
        
       description: "A library to glance at iCalendar data using OCaml."

     

       28
       28
        
       url {

     

       29
       29
       -
         src: "http://pw374.github.io/distrib/glical/glical-0.0.5.tar.gz"

     

       29
       29
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/glical-0.0.5.tar.gz"

     

       30
       30
        
         checksum: "md5=33fbcffd83d7109beb3162326f737e77"

     

       31
       31
        
       }

+1 -1

packages/glical/glical.0.0.7/opam

···

       26
       26
        
       synopsis: "Glical: glancing at iCalendar data."

     

       27
       27
        
       description: "A library to glance at iCalendar data using OCaml."

     

       28
       28
        
       url {

     

       29
       29
       -
         src: "http://pw374.github.io/distrib/glical/glical-0.0.7.tar.gz"

     

       29
       29
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/glical-0.0.7.tar.gz"

     

       30
       30
        
         checksum: "md5=61fd3daacea83cc5399345711983af57"

     

       31
       31
        
       }

+1 -1

packages/mparser/mparser.1.2.1/opam

···

       41
       41
        
       Leijen and the FParsec library for FSharp by Stephan Tolksdorf."""

     

       42
       42
        
       flags: light-uninstall

     

       43
       43
        
       url {

     

       44
       44
       -
         src: "https://github.com/cakeplus/mparser/archive/1.2.1.tar.gz"

     

       44
       44
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/mparser-1.2.1.tar.gz"

     

       45
       45
        
         checksum: "md5=0fab5b578b849facf1b90c5ef88abbb5"

     

       46
       46
        
       }

+1 -1

packages/ocamlog/ocamlog.0.1/opam

···

       14
       14
        
       bug-reports: "https://www.github.com/paulpatault/OcamLog/issues"

     

       15
       15
        
       license: "MIT"

     

       16
       16
        
       url {

     

       17
       17
       -
         src: "https://github.com/paulpatault/ocamlog/archive/v0.1.tar.gz"

     

       17
       17
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/ocamlog-0.1.tar.gz"

     

       18
       18
        
         checksum: [

     

       19
       19
        
           "md5=1e14b6596988792264bbeca76830558a"

     

       20
       20
        
           "sha512=e638151fa9250fc1aeca2ebee24ca20bde75deef9045ff77e41b75b6b6ce91c9b4994235a3817e5091b8c0ee3feffab7790d8210cae9e4682ee6f68485812ace"

+1 -1

packages/ocamlog/ocamlog.0.2/opam

···

       14
       14
        
       bug-reports: "https://www.github.com/paulpatault/OcamLog/issues"

     

       15
       15
        
       license: "MIT"

     

       16
       16
        
       url {

     

       17
       17
       -
         src: "https://github.com/paulpatault/ocamlog/archive/v0.2.tar.gz"

     

       17
       17
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/ocamlog-0.2.tar.gz"

     

       18
       18
        
         checksum: [

     

       19
       19
        
           "md5=093992b1204fb4759541a2331808351c"

     

       20
       20
        
           "sha512=e55521d9eec0204f88f6c811f57d112f67f5d001efbb3e7880baaf81a724b8cdf82887465de6b84a91b84e5664c5d47835a4bc889de137e8d692aab0957ad18d"

+1 -1

packages/osdp/osdp.0.6.0/opam

···

       24
       24
        
       the solver SDPA. It will also be compiled with CSDP and Mosek support

     

       25
       25
        
       if they can be found in the PATH."""

     

       26
       26
        
       url {

     

       27
       27
       -
         src: "https://cavale.enseeiht.fr/osdp/osdp-0.6.0.tgz"

     

       27
       27
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/osdp-0.6.0.tgz"

     

       28
       28
        
         checksum: "md5=cf96179682e05c1585589adae532a7bc"

     

       29
       29
        
       }

+1 -2

packages/osdp/osdp.1.0.0/opam

···

       27
       27
        
       the solver CSDP. It will also be compiled with SDPA and Mosek support

     

       28
       28
        
       if they can be found in the PATH."""

     

       29
       29
        
       url {

     

       30
       30
       -
         src:

     

       31
       31
       -
           "https://cavale.enseeiht.fr/osdp/osdp-1.0.0.tgz"

     

       30
       30
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/osdp-1.0.0.tgz"

     

       32
       31
        
         checksum: "md5=f4edf6316268eb77a44d1bd26b76aa7f"

     

       33
       32
        
         # curl -L archive | md5sum

     

       34
       33
        
       }

+1 -1

packages/pa_qualified/pa_qualified.0.5/opam

···

       26
       26
        
       (warranty void if "Q" is defined explicitly somewhere)."""

     

       27
       27
        
       flags: light-uninstall

     

       28
       28
        
       url {

     

       29
       29
       -
         src: "https://github.com/murmour/pa_qualified/archive/0.5.tar.gz"

     

       29
       29
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/pa_qualified-0.5.tar.gz"

     

       30
       30
        
         checksum: "md5=ae26fa6f0f4814a58fdbe2d852c41bff"

     

       31
       31
        
       }

+1 -1

packages/pa_qualified/pa_qualified.0.6/opam

···

       25
       25
        
       dev-repo: "git+https://github.com/murmour/pa_qualified.git"

     

       26
       26
        
       flags: light-uninstall

     

       27
       27
        
       url {

     

       28
       28
       -
         src: "https://github.com/murmour/pa_qualified/archive/0.6.tar.gz"

     

       28
       28
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/pa_solution-0.6.tar.gz"

     

       29
       29
        
         checksum: "md5=aa92760a461340c1085b40c546dc5145"

     

       30
       30
        
       }

+1 -1

packages/pa_solution/pa_solution.0.5/opam

···

       23
       23
        
       Google Code Jam and Facebook Hacker Cup."""

     

       24
       24
        
       flags: light-uninstall

     

       25
       25
        
       url {

     

       26
       26
       -
         src: "https://github.com/cakeplus/pa_solution/archive/0.5.tar.gz"

     

       26
       26
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/pa_solution-0.5.tar.gz"

     

       27
       27
        
         checksum: "md5=04697a0f4251207142779dc6dc82d612"

     

       28
       28
        
       }

+1 -1

packages/pa_solution/pa_solution.0.6/opam

···

       28
       28
        
       authors: "Max Mouratov <mmouratov@gmail.com>"

     

       29
       29
        
       flags: light-uninstall

     

       30
       30
        
       url {

     

       31
       31
       -
         src: "https://github.com/cakeplus/pa_solution/archive/0.6.tar.gz"

     

       31
       31
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/pa_solution-0.6.tar.gz"

     

       32
       32
        
         checksum: "md5=f35effedec73ff27ca739164654a1a7e"

     

       33
       33
        
       }

+1 -1

packages/pa_solution/pa_solution.0.7/opam

···

       29
       29
        
       authors: "Max Mouratov <mmouratov@gmail.com>"

     

       30
       30
        
       flags: light-uninstall

     

       31
       31
        
       url {

     

       32
       32
       -
         src: "https://github.com/cakeplus/pa_solution/archive/0.7.tar.gz"

     

       32
       32
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/pa_solution-0.7.tar.gz"

     

       33
       33
        
         checksum: "md5=1d66097a92231e6023ca60c478e54bd3"

     

       34
       34
        
       }

+1 -1

packages/pa_where/pa_where.0.4/opam

···

       22
       22
        
       Local definitions in expressions and toplevel definitions are both supported."""

     

       23
       23
        
       flags: light-uninstall

     

       24
       24
        
       url {

     

       25
       25
       -
         src: "https://github.com/cakeplus/pa_where/archive/0.4.tar.gz"

     

       25
       25
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/pa_where-0.4.tar.gz"

     

       26
       26
        
         checksum: "md5=714f53dde03930b06caa6d0981b69a29"

     

       27
       27
        
       }

+1 -2

packages/zlist/zlist.0.1.2/opam

···

       22
       22
        
       description:

     

       23
       23
        
         "`zlist` consists of the definition of a lazy list type and a number of useful functions for manipulating and constructing lazy lists."

     

       24
       24
        
       url {

     

       25
       25
       -
         src:

     

       26
       26
       -
           "https://gitlab.com/jhaberku/Zlist/uploads/40bc789f3d176514d07b068b936543b6/zlist-0.1.2.tbz"

     

       25
       25
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/zlist-0.1.2.tbz"

     

       27
       26
        
         checksum: "md5=bdade429cbb5150067407dccb353525e"

     

       28
       27
        
       }

+1 -1

packages/zlist/zlist.0.4.0/opam

···

       28
       28
        
       dev-repo: "git+https://gitlab.com/jhaberku/Zlist"

     

       29
       29
        
       x-commit-hash: "301d215bea24e545186e506f98421ca65830dd2b"

     

       30
       30
        
       url {

     

       31
       31
       -
         src: "https://gitlab.com/jhaberku/Zlist/uploads/83f84c0e644fc50c550f5fef0132d160/zlist-0.4.0.tbz"

     

       31
       31
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/zlist-0.4.0.tbz"

     

       32
       32
        
         checksum: [

     

       33
       33
        
           "sha256=bc3bebdb6ce2f806ff0e5fe89e4b4eb4930dab6cabf9f86a9a6fa59a88533ed9"

     

       34
       34
        
           "sha512=577f0c2edcd82502bb4fe1bd2365ad6ddd322689aeda2ebeed1f0e1796e9f35b07913d1c20eab2d5a6bcf62007e0cb6489374a663ed7fd57fd3c959e34dc3053"