commit 816421163c40c3d056aa1a60eeeb84db503a41b6 · anil.recoil.org/opam-repository

+2 -1

packages/KaSim/KaSim.3.5.150925/opam

···

       26
       26
        
       synopsis: "Command line stochastic simulator for kappa models."

     

       27
       27
        
       flags: light-uninstall

     

       28
       28
        
       url {

     

       29
       29
       -
         src: "https://github.com/Kappa-Dev/KaSim/archive/v3.5-250915.tar.gz"

     

       29
       29
       +
         src:

     

       30
       30
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/KaSim-3.5.150925.tar.gz"

     

       30
       31
        
         checksum: "md5=fa9998f9b31e033b16113e11deecc97b"

     

       31
       32
        
       }

+2 -1

packages/bsbnative/bsbnative.1.9.4/opam

···

       15
       15
        
         "ocaml" {= "4.02.3"}

     

       16
       16
        
       ]

     

       17
       17
        
       url {

     

       18
       18
       -
         src: "https://github.com/bsansouci/bsb-native/archive/1.9.4.tar.gz"

     

       18
       18
       +
         src:

     

       19
       19
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/bsbnative-1.9.4.tar.gz"

     

       19
       20
        
         checksum: "md5=90fa52709385f28cc80b15e6f0f537e6"

     

       20
       21
        
       }

+1 -1

packages/cairo/cairo.1.2.0/opam

···

       46
       46
        
       ]

     

       47
       47
        
       url {

     

       48
       48
        
         src:

     

       49
       49
       -
           "http://cgit.freedesktop.org/cairo-ocaml/snapshot/cairo-ocaml-1.2.0.tar.gz"

     

       49
       49
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/cairo-1.2.0.tar.gz"

     

       50
       50
        
         checksum: "md5=75bf7eb95045c1dba2733d7107b7b218"

     

       51
       51
        
       }

+2 -1

packages/dyntype/dyntype.0.8.2/opam

···

       18
       18
        
         "syntax extension which makes OCaml types and values easier to manipulate programmatically"

     

       19
       19
        
       flags: light-uninstall

     

       20
       20
        
       url {

     

       21
       21
       -
         src: "https://github.com/mirage/dyntype/tarball/dyntype-0.8.2"

     

       21
       21
       +
         src:

     

       22
       22
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/dyntype-0.8.2.2"

     

       22
       23
        
         checksum: "md5=bcba157bb85737ce845147fac501e134"

     

       23
       24
        
       }

+2 -1

packages/dyntype/dyntype.0.8.3/opam

···

       18
       18
        
         "syntax extension which makes OCaml types and values easier to manipulate programmatically"

     

       19
       19
        
       flags: light-uninstall

     

       20
       20
        
       url {

     

       21
       21
       -
         src: "https://github.com/mirage/dyntype/tarball/dyntype-0.8.3"

     

       21
       21
       +
         src:

     

       22
       22
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/dyntype-0.8.3.3"

     

       22
       23
        
         checksum: "md5=1eb647f02797d1d91b8674b38975cd1e"

     

       23
       24
        
       }

+2 -1

packages/dyntype/dyntype.0.8.4/opam

···

       18
       18
        
         "syntax extension which makes OCaml types and values easier to manipulate programmatically"

     

       19
       19
        
       flags: light-uninstall

     

       20
       20
        
       url {

     

       21
       21
       -
         src: "https://github.com/mirage/dyntype/tarball/dyntype-0.8.4"

     

       21
       21
       +
         src:

     

       22
       22
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/dyntype-0.8.4.4"

     

       22
       23
        
         checksum: "md5=40b4d77c3288f65107410da629536c43"

     

       23
       24
        
       }

+2 -1

packages/dyntype/dyntype.0.8.5/opam

···

       18
       18
        
         "syntax extension which makes OCaml types and values easier to manipulate programmatically"

     

       19
       19
        
       flags: light-uninstall

     

       20
       20
        
       url {

     

       21
       21
       -
         src: "https://github.com/mirage/dyntype/tarball/dyntype-0.8.5"

     

       21
       21
       +
         src:

     

       22
       22
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/dyntype-0.8.5.5"

     

       22
       23
        
         checksum: "md5=d1910c5dfd835a2315d84a30b6872b66"

     

       23
       24
        
       }

+2 -1

packages/elina/elina.1.3/opam

···

       44
       44
        
       numerical domains."""

     

       45
       45
        
       

     

       46
       46
        
       url {

     

       47
       47
       -
         src: "https://github.com/eth-sri/ELINA/archive/1.3.tar.gz"

     

       47
       47
       +
         src:

     

       48
       48
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/elina-1.3.tar.gz"

     

       48
       49
        
         checksum: "md5=e0c78d7b0a7afaee871a057b83d06a76"

     

       49
       50
        
       }

     

       50
       51

+2 -1

packages/libres3/libres3.0.1/opam

···

       40
       40
        
         ["depfix.patch" "md5=0762983d6ea4096b67a9e38eef52ac6f"]

     

       41
       41
        
       ]

     

       42
       42
        
       url {

     

       43
       43
       -
         src: "http://cdn.skylable.com/source/libres3-0.1.tar.gz"

     

       43
       43
       +
         src:

     

       44
       44
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/libres3-0.1.tar.gz"

     

       44
       45
        
         checksum: "md5=1b1c9b4442f16aef9d210038798d1e5a"

     

       45
       46
        
       }

+2 -1

packages/libres3/libres3.0.2/opam

···

       42
       42
        
       provides data deduplication and replication."""

     

       43
       43
        
       extra-files: ["libres3.install" "md5=bad7ddd5db5cf6a53550e25af80bcaca"]

     

       44
       44
        
       url {

     

       45
       45
       -
         src: "http://cdn.skylable.com/source/libres3-0.2.tar.gz"

     

       45
       45
       +
         src:

     

       46
       46
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/libres3-0.2.tar.gz"

     

       46
       47
        
         checksum: "md5=ce3406cd3b8b73e4f31ea07d9b70b212"

     

       47
       48
        
       }

+2 -1

packages/libres3/libres3.0.3/opam

···

       44
       44
        
       provides data deduplication and replication."""

     

       45
       45
        
       extra-files: ["libres3.install" "md5=a47d2673184a7fa581069a513efe8b50"]

     

       46
       46
        
       url {

     

       47
       47
       -
         src: "http://cdn.skylable.com/source/libres3-0.3.tar.gz"

     

       47
       47
       +
         src:

     

       48
       48
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/libres3-0.3.tar.gz"

     

       48
       49
        
         checksum: "md5=edf532c3f8aee7e06897769a6c540e95"

     

       49
       50
        
       }

+2 -1

packages/libres3/libres3.0.9/opam

···

       45
       45
        
       provides data deduplication and replication."""

     

       46
       46
        
       extra-files: ["libres3.install" "md5=a47d2673184a7fa581069a513efe8b50"]

     

       47
       47
        
       url {

     

       48
       48
       -
         src: "http://cdn.skylable.com/source/libres3-0.9.tar.gz"

     

       48
       48
       +
         src:

     

       49
       49
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/libres3-0.9.tar.gz"

     

       49
       50
        
         checksum: "md5=b91bea21e3589de785317c2dccc6e0d0"

     

       50
       51
        
       }

+2 -1

packages/libres3/libres3.1.0/opam

···

       45
       45
        
       provides data deduplication and replication."""

     

       46
       46
        
       extra-files: ["libres3.install" "md5=150537f09471218057b533e1217ec1e3"]

     

       47
       47
        
       url {

     

       48
       48
       -
         src: "http://cdn.skylable.com/source/libres3-1.0.tar.gz"

     

       48
       48
       +
         src:

     

       49
       49
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/libres3-1.0.tar.gz"

     

       49
       50
        
         checksum: "md5=4f3170b670caa1b6369bc1bb623e922c"

     

       50
       51
        
       }

+2 -1

packages/libres3/libres3.1.1/opam

···

       46
       46
        
       provides data deduplication and replication."""

     

       47
       47
        
       extra-files: ["libres3.install" "md5=fe506a2c644b176b86ed22836ea395ee"]

     

       48
       48
        
       url {

     

       49
       49
       -
         src: "http://cdn.skylable.com/source/libres3-1.1.tar.gz"

     

       49
       49
       +
         src:

     

       50
       50
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/libres3-1.1.tar.gz"

     

       50
       51
        
         checksum: "md5=e4cb8001d8d435400b419fa95bacb6a6"

     

       51
       52
        
       }

+2 -1

packages/libres3/libres3.1.2/opam

···

       45
       45
        
       provides data deduplication and replication."""

     

       46
       46
        
       extra-files: ["libres3.install" "md5=fe506a2c644b176b86ed22836ea395ee"]

     

       47
       47
        
       url {

     

       48
       48
       -
         src: "http://cdn.skylable.com/source/libres3-1.2.tar.gz"

     

       48
       48
       +
         src:

     

       49
       49
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/libres3-1.2.tar.gz"

     

       49
       50
        
         checksum: "md5=d388eca12f6d648cb4d8e5e12e6946b8"

     

       50
       51
        
       }

+2 -1

packages/libres3/libres3.1.3/opam

···

       45
       45
        
       provides data deduplication and replication."""

     

       46
       46
        
       extra-files: ["libres3.install" "md5=fe506a2c644b176b86ed22836ea395ee"]

     

       47
       47
        
       url {

     

       48
       48
       -
         src: "http://cdn.skylable.com/source/libres3-1.3.tar.gz"

     

       48
       48
       +
         src:

     

       49
       49
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/libres3-1.3.tar.gz"

     

       49
       50
        
         checksum: "md5=2e5ddc5f9b1dfb83087077ab81f1a60d"

     

       50
       51
        
       }

+2 -1

packages/mirage-http-unix/mirage-http-unix.1.0.0/opam

···

       17
       17
        
       install: [make "install"]

     

       18
       18
        
       synopsis: "MirageOS HTTP client and server driver for Unix"

     

       19
       19
        
       url {

     

       20
       20
       -
         src: "https://github.com/mirage/mirage-http-unix/archive/v1.0.0.tar.gz"

     

       20
       20
       +
         src:

     

       21
       21
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/mirage-http-unix-1.0.0.tar.gz"

     

       21
       22
        
         checksum: "md5=ac773d4a74cf0e6e8d109d3eb86f296c"

     

       22
       23
        
       }

+2 -1

packages/ocaml-r/ocaml-r.0.0.1/opam

···

       36
       36
        
         "OCaml-R is still in development, is usable, but still has some syntactic idiosyncrasies and some performance bottlenecks."

     

       37
       37
        
       flags: light-uninstall

     

       38
       38
        
       url {

     

       39
       39
       -
         src: "https://github.com/pveber/OCaml-R/archive/pre-nyc-refactoring.tar.gz"

     

       39
       39
       +
         src:

     

       40
       40
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/ocaml-r-0.0.1.tar.gz"

     

       40
       41
        
         checksum: "md5=956f057af8871eb9f782ae75d45c2fda"

     

       41
       42
        
       }

+2 -1

packages/ocaml-variants/ocaml-variants.4.04.0+trunk+forced_lto/opam

···

       42
       42
        
       ]

     

       43
       43
        
       install: [make "install"]

     

       44
       44
        
       url {

     

       45
       45
       -
         src: "https://github.com/chambart/ocaml-1/archive/lto.tar.gz"

     

       45
       45
       +
         src:

     

       46
       46
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/ocaml-variants-4.04.0+trunk+forced_lto.tar.gz"

     

       46
       47
        
         checksum: "md5=0bc3ded0fed30966a457c47f973e814e"

     

       47
       48
        
       }

     

       48
       49
        
       available: !(os = "macos" & arch = "arm64")

+1 -1

packages/ocamlregextkit/ocamlregextkit.1.0.0/opam

···

       40
       40
        
       dev-repo: "git+https://github.com/toodom02/ocamlregextkit.git"

     

       41
       41
        
       url {

     

       42
       42
        
         src:

     

       43
       43
       -
           "https://github.com/toodom02/ocamlregextkit/releases/download/v1.0.0/ocamlregextkit-1.0.0.tbz"

     

       43
       43
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/ocamlregextkit-1.0.0.tbz"

     

       44
       44
        
         checksum: [

     

       45
       45
        
           "sha256=8edee54b513ce6320296e1f6723a4359a80c4fa759d2cd6c91594dd8a6b1c2a0"

     

       46
       46
        
           "sha512=f2a00da2dd7d6aa9b212b2dd252f2b09c407375884d19bc94512ea258281cee783b3716460f02ce550f779f7f19ddbf7dfec70577f3b93abae7ccfe0f9e29477"

+2 -1

packages/ocp-build/ocp-build.1.99.13-beta/opam

···

       35
       35
        
       conflicts: [ "typerex"  {< "1.99.7"} ]

     

       36
       36
        
       synopsis: "Project manager for OCaml"

     

       37
       37
        
       url {

     

       38
       38
       -
         src: "http://github.com/OCamlPro/typerex-build/archive/1.99.13-beta.tar.gz"

     

       38
       38
       +
         src:

     

       39
       39
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/ocp-build-1.99.13-beta.tar.gz"

     

       39
       40
        
         checksum: "md5=46e876a35fd905df5be9b062e773b7f6"

     

       40
       41
        
       }

+2 -1

packages/ocp-build/ocp-build.1.99.14-beta/opam

···

       35
       35
        
       conflicts: [ "typerex"  {< "1.99.7"} ]

     

       36
       36
        
       synopsis: "Project manager for OCaml"

     

       37
       37
        
       url {

     

       38
       38
       -
         src: "http://github.com/OCamlPro/typerex-build/archive/1.99.14-beta.tar.gz"

     

       38
       38
       +
         src:

     

       39
       39
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/ocp-build-1.99.14-beta.tar.gz"

     

       39
       40
        
         checksum: "md5=c626fd172939185a08aab6766cbb979c"

     

       40
       41
        
       }

+2 -1

packages/ocp-build/ocp-build.1.99.15-beta/opam

···

       33
       33
        
       conflicts: [ "typerex"  {< "1.99.7"} ]

     

       34
       34
        
       synopsis: "Project manager for OCaml"

     

       35
       35
        
       url {

     

       36
       36
       -
         src: "http://github.com/OCamlPro/typerex-build/archive/1.99.15-beta.tar.gz"

     

       36
       36
       +
         src:

     

       37
       37
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/ocp-build-1.99.15-beta.tar.gz"

     

       37
       38
        
         checksum: "md5=863547bca8f1528b36034d736100b23e"

     

       38
       39
        
       }

+2 -1

packages/ocp-build/ocp-build.1.99.16-beta/opam

···

       34
       34
        
       conflicts: [ "typerex"  {< "1.99.7"} ]

     

       35
       35
        
       synopsis: "Project manager for OCaml"

     

       36
       36
        
       url {

     

       37
       37
       -
         src: "http://github.com/OCamlPro/typerex-build/archive/1.99.16-beta.tar.gz"

     

       37
       37
       +
         src:

     

       38
       38
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/ocp-build-1.99.16-beta.tar.gz"

     

       38
       39
        
         checksum: "md5=bfd12f6e67e1db9b9fcf73f96cad71c8"

     

       39
       40
        
       }

+2 -1

packages/oqamldebug/oqamldebug.0.9.1/opam

···

       41
       41
        
       export QMAKESPEC=macx-g++"""

     

       42
       42
        
       depends: ["ocaml"]

     

       43
       43
        
       url {

     

       44
       44
       -
         src: "http://oqamldebug.forge.ocamlcore.org/oqamldebug-0.9.1.tar.gz"

     

       44
       44
       +
         src:

     

       45
       45
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/oqamldebug-0.9.1.tar.gz"

     

       45
       46
        
         checksum: "md5=418d2292a6441bb974451a1351266cb0"

     

       46
       47
        
       }

+2 -1

packages/oqamldebug/oqamldebug.0.9.2/opam

···

       41
       41
        
       export QMAKESPEC=macx-g++"""

     

       42
       42
        
       depends: ["ocaml"]

     

       43
       43
        
       url {

     

       44
       44
       -
         src: "http://oqamldebug.forge.ocamlcore.org/oqamldebug-0.9.2.tar.gz"

     

       44
       44
       +
         src:

     

       45
       45
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/oqamldebug-0.9.2.tar.gz"

     

       45
       46
        
         checksum: "md5=1037eefe46132300dd872ba6b0c25e58"

     

       46
       47
        
       }

+2 -1

packages/oqamldebug/oqamldebug.0.9.3/opam

···

       41
       41
        
       export QMAKESPEC=macx-g++"""

     

       42
       42
        
       depends: ["ocaml"]

     

       43
       43
        
       url {

     

       44
       44
       -
         src: "http://oqamldebug.forge.ocamlcore.org/oqamldebug-0.9.3.tar.gz"

     

       44
       44
       +
         src:

     

       45
       45
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/oqamldebug-0.9.3.tar.gz"

     

       45
       46
        
         checksum: "md5=e7af5a5b24da9a0435e184628248c292"

     

       46
       47
        
       }

+2 -1

packages/oqamldebug/oqamldebug.0.9.4/opam

···

       41
       41
        
       export QMAKESPEC=macx-g++"""

     

       42
       42
        
       depends: ["ocaml"]

     

       43
       43
        
       url {

     

       44
       44
       -
         src: "http://oqamldebug.forge.ocamlcore.org/oqamldebug-0.9.4.tar.gz"

     

       44
       44
       +
         src:

     

       45
       45
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/oqamldebug-0.9.4.tar.gz"

     

       45
       46
        
         checksum: "md5=57d9ae1b8e051f6dca2a10aaf50253b3"

     

       46
       47
        
       }

+2 -1

packages/oqamldebug/oqamldebug.0.9.5/opam

···

       36
       36
        
       depends: ["ocaml"]

     

       37
       37
        
       extra-files: ["oqamldebug.install" "md5=75c25b7029fae5e7e4acc9b87d76026b"]

     

       38
       38
        
       url {

     

       39
       39
       -
         src: "http://oqamldebug.forge.ocamlcore.org/oqamldebug-0.9.5.tar.gz"

     

       39
       39
       +
         src:

     

       40
       40
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/oqamldebug-0.9.5.tar.gz"

     

       40
       41
        
         checksum: "md5=fd50ab57cfd3e48d8061a1c06b411ecd"

     

       41
       42
        
       }

+2 -1

packages/pa_ppx/pa_ppx.0.01/opam

···

       77
       77
        
       ]

     

       78
       78
        
       install: [make "install"]

     

       79
       79
        
       url {

     

       80
       80
       -
         src: "https://github.com/chetmurthy/pa_ppx/archive/0.01.tar.gz"

     

       80
       80
       +
         src:

     

       81
       81
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/pa_ppx-0.01.tar.gz"

     

       81
       82
        
         checksum: [

     

       82
       83
        
           "md5=7212c459eff3ea17974b2d47998f2038"

     

       83
       84
        
           "sha512=f6e344a9ac8352c823d629e1c0cef9cf9aaf3bfa7800446f4087ed682c9e8ba3fbb834c83bc8276cdb5294951db559c0b19f364f2a7adf22bbd70313b7d0bd08"

+1 -1

packages/pancake/pancake.2.0.1/opam

···

       20
       20
        
       dev-repo: "git+https://github.com/rolandpeelen/bs-pancake.git"

     

       21
       21
        
       url {

     

       22
       22
        
         src:

     

       23
       23
       -
           "https://github.com/rolandpeelen/bs-pancake/archive/refs/tags/2.0.1.tar.gz"

     

       23
       23
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/pancake-2.0.1.tar.gz"

     

       24
       24
        
         checksum: [

     

       25
       25
        
           "md5=9923aa43c1dac021cb9c496f5ba1b707"

     

       26
       26
        
           "sha512=4f8b65d8c7f3482d6506adb5cd5f32187a238104a72ca2a7c6bde506cf00401f8e5646056e47f9a98c91ada754bee91c3fad177d54ed15a578dee483714aa3e6"

+1 -2

packages/rotor/rotor.0.1/opam

···

       33
       33
        
       ]

     

       34
       34
        
       build: [ make ]

     

       35
       35
        
       url {

     

       36
       36
       -
         src:

     

       37
       37
       -
           "https://gitlab.com/trustworthy-refactoring/refactorer/-/archive/0.1/refactorer-0.1.zip"

     

       36
       36
       +
         src: "https://github.com/ocaml/opam-source-archives/raw/main/rotor-0.1.zip"

     

       38
       37
        
         checksum: [

     

       39
       38
        
           "md5=372ca9b6a7af2fdd99d5117d376870b4"

     

       40
       39
        
           "sha512=6f5473951437a48bf9ae7a5d22a4283c02bed6a6e5c7bc02fc5f28dc5c28720f3e2c69f32a2a0c5b9447c2bc8c83746bb4de5b67909a98cc8921527582727063"

+2 -1

packages/tls/tls.0.5.0/opam

···

       43
       43
        
       Includes the core library, as well as Lwt and MirageOS frontends."""

     

       44
       44
        
       flags: light-uninstall

     

       45
       45
        
       url {

     

       46
       46
       -
         src: "https://github.com/mirleft/ocaml-tls/archive/0.5.0.tar.gz"

     

       46
       46
       +
         src:

     

       47
       47
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/tls-0.5.0.tar.gz"

     

       47
       48
        
         checksum: "md5=45a19a587179a65cf108d74c267c0692"

     

       48
       49
        
       }

+1 -1

packages/type_eq/type_eq.0.0.1/opam

···

       30
       30
        
       dev-repo: "git+https://github.com/skolemlabs/type_eq.git"

     

       31
       31
        
       url {

     

       32
       32
        
         src:

     

       33
       33
       -
           "https://github.com/skolemlabs/type_eq/releases/download/0.0.1/type_eq-0.0.1.tbz"

     

       33
       33
       +
           "https://github.com/ocaml/opam-source-archives/raw/main/type_eq-0.0.1.tbz"

     

       34
       34
        
         checksum: [

     

       35
       35
        
           "sha256=7855592497d4ea17dbf2f28d5ce64b67570772c0ddcc551eadb87645906dd199"

     

       36
       36
        
           "sha512=b54629c3eca93c820156d5d4cf1a71fdef3fba07321a8ac068869d7e900e056944d8a02770dd21e4c2bbdcb5376036ddb61b83b33afe7bb355ac59b9b4bb0d63"