commit cd83ccab5a0010fff4b3956241a4a373550351c9 · anil.recoil.org/opam-repository

+1 -1

packages/caper/caper.0.9/opam

···

       8
       8
        
       license: "GPL-3.0-or-later"

     

       9
       9
        
       homepage: "https://gitlab.com/niksu/caper"

     

       10
       10
        
       bug-reports: "https://gitlab.com/niksu/caper/issues"

     

       11
       11
       -
       dev-repo: "git://gitlab.com/niksu/caper.git"

     

       11
       11
       +
       dev-repo: "git+https://gitlab.com/niksu/caper.git"

     

       12
       12
        
       depends: [

     

       13
       13
        
         "ocaml" {>= "4.08"}

     

       14
       14
        
         "ocamlbuild"

+1 -1

packages/hacl_func/hacl_func.0.1.0/opam

···

       25
       25
        
         "@runtest" {with-test}

     

       26
       26
        
         "@doc" {with-doc}

     

       27
       27
        
       ]

     

       28
       28
       -
       dev-repo: "git://gitlab.com/functori/dev/hacl"

     

       28
       28
       +
       dev-repo: "git+https://gitlab.com/functori/dev/hacl"

     

       29
       29
        
       url {

     

       30
       30
        
         src:

     

       31
       31
        
           "https://gitlab.com/functori/dev/hacl/-/archive/0.1.0/hacl-0.1.0.tar.gz"

+1 -1

packages/jext/jext.0.1.0/opam

···

       30
       30
        
           "@doc" {with-doc}

     

       31
       31
        
         ]

     

       32
       32
        
       ]

     

       33
       33
       -
       dev-repo: "git://gitlab.com/functori/dev/jext"

     

       33
       33
       +
       dev-repo: "git+https://gitlab.com/functori/dev/jext"

     

       34
       34
        
       url {

     

       35
       35
        
         src:

     

       36
       36
        
           "https://gitlab.com/functori/dev/jext/-/archive/0.1.0/jext-0.1.0.tar.gz"

+1 -1

packages/ppx_deriving_encoding/ppx_deriving_encoding.0.1/opam

···

       25
       25
        
           "@doc" {with-doc}

     

       26
       26
        
         ]

     

       27
       27
        
       ]

     

       28
       28
       -
       dev-repo: "git://gitlab.com/o-labs/ppx_deriving_encoding"

     

       28
       28
       +
       dev-repo: "git+https://gitlab.com/o-labs/ppx_deriving_encoding"

     

       29
       29
        
       url {

     

       30
       30
        
         src:

     

       31
       31
        
           "https://gitlab.com/api/v4/projects/22769538/repository/archive?sha=81ca6736a770a3f09ec7051c30dca081564e33e4"

+1 -1

packages/ppx_deriving_encoding/ppx_deriving_encoding.0.2.1/opam

···

       25
       25
        
           "@doc" {with-doc}

     

       26
       26
        
         ]

     

       27
       27
        
       ]

     

       28
       28
       -
       dev-repo: "git://gitlab.com/o-labs/ppx_deriving_encoding"

     

       28
       28
       +
       dev-repo: "git+https://gitlab.com/o-labs/ppx_deriving_encoding"

     

       29
       29
        
       url {

     

       30
       30
        
         src:

     

       31
       31
        
           "https://gitlab.com/api/v4/projects/22769538/repository/archive?sha=c094a9058c849266dd52dca52c172841a6965bab"

+1 -1

packages/ppx_deriving_encoding/ppx_deriving_encoding.0.2.2/opam

···

       25
       25
        
           "@doc" {with-doc}

     

       26
       26
        
         ]

     

       27
       27
        
       ]

     

       28
       28
       -
       dev-repo: "git://gitlab.com/o-labs/ppx_deriving_encoding"

     

       28
       28
       +
       dev-repo: "git+https://gitlab.com/o-labs/ppx_deriving_encoding"

     

       29
       29
        
       url {

     

       30
       30
        
         src:

     

       31
       31
        
           "https://gitlab.com/api/v4/projects/22769538/repository/archive?sha=b7ffd2c2aefd6133c6dec8fa03c31129069a8478"

+1 -1

packages/ppx_deriving_encoding/ppx_deriving_encoding.0.2.3/opam

···

       26
       26
        
           "@doc" {with-doc}

     

       27
       27
        
         ]

     

       28
       28
        
       ]

     

       29
       29
       -
       dev-repo: "git://gitlab.com/o-labs/ppx_deriving_encoding"

     

       29
       29
       +
       dev-repo: "git+https://gitlab.com/o-labs/ppx_deriving_encoding"

     

       30
       30
        
       url {

     

       31
       31
        
         src:

     

       32
       32
        
           "https://gitlab.com/api/v4/projects/22769538/repository/archive?sha=9ffa2ee0d920be3ebce9abb37bbd670701b84e09"

+1 -1

packages/ppx_deriving_encoding/ppx_deriving_encoding.0.2/opam

···

       25
       25
        
           "@doc" {with-doc}

     

       26
       26
        
         ]

     

       27
       27
        
       ]

     

       28
       28
       -
       dev-repo: "git://gitlab.com/o-labs/ppx_deriving_encoding"

     

       28
       28
       +
       dev-repo: "git+https://gitlab.com/o-labs/ppx_deriving_encoding"

     

       29
       29
        
       url {

     

       30
       30
        
         src:

     

       31
       31
        
           "https://gitlab.com/api/v4/projects/22769538/repository/archive?sha=1448f85d0ba13b4d1b7f780758e4088a8b68c6cf"

+1 -1

packages/ppx_deriving_encoding/ppx_deriving_encoding.0.3.0/opam

···

       27
       27
        
           "@doc" {with-doc}

     

       28
       28
        
         ]

     

       29
       29
        
       ]

     

       30
       30
       -
       dev-repo: "git://gitlab.com/o-labs/ppx_deriving_encoding"

     

       30
       30
       +
       dev-repo: "git+https://gitlab.com/o-labs/ppx_deriving_encoding"

     

       31
       31
        
       url {

     

       32
       32
        
         src:

     

       33
       33
        
           "https://gitlab.com/o-labs/ppx_deriving_encoding/-/archive/0.3.0/ppx_deriving_encoding-0.3.0.tar.gz"

+1 -1

packages/ppx_deriving_jsoo/ppx_deriving_jsoo.0.1/opam

···

       25
       25
        
           "@doc" {with-doc}

     

       26
       26
        
         ]

     

       27
       27
        
       ]

     

       28
       28
       -
       dev-repo: "git://gitlab.com/o-labs/ppx_deriving_jsoo"

     

       28
       28
       +
       dev-repo: "git+https://gitlab.com/o-labs/ppx_deriving_jsoo"

     

       29
       29
        
       url {

     

       30
       30
        
         src:

     

       31
       31
        
           "https://gitlab.com/api/v4/projects/22645789/repository/archive?sha=2fa6de4c7361e71048c308180e2d47aa1ae255f5"

+1 -1

packages/ppx_deriving_jsoo/ppx_deriving_jsoo.0.2/opam

···

       25
       25
        
           "@doc" {with-doc}

     

       26
       26
        
         ]

     

       27
       27
        
       ]

     

       28
       28
       -
       dev-repo: "git://gitlab.com/o-labs/ppx_deriving_jsoo"

     

       28
       28
       +
       dev-repo: "git+https://gitlab.com/o-labs/ppx_deriving_jsoo"

     

       29
       29
        
       url {

     

       30
       30
        
         src:

     

       31
       31
        
           "https://gitlab.com/api/v4/projects/22645789/repository/archive?sha=1544d22e6e68f309608f46b48f5349a692003ab8"

+1 -1

packages/ppx_deriving_jsoo/ppx_deriving_jsoo.0.3/opam

···

       28
       28
        
           "@doc" {with-doc}

     

       29
       29
        
         ]

     

       30
       30
        
       ]

     

       31
       31
       -
       dev-repo: "git://gitlab.com/o-labs/ppx_deriving_jsoo"

     

       31
       31
       +
       dev-repo: "git+https://gitlab.com/o-labs/ppx_deriving_jsoo"

     

       32
       32
        
       url {

     

       33
       33
        
         src:

     

       34
       34
        
           "https://gitlab.com/o-labs/ppx_deriving_jsoo/-/archive/0.3/ppx_deriving_jsoo-0.3.tar.gz"

+1 -1

packages/vue-jsoo/vue-jsoo.0.1/opam

···

       31
       31
        
           "@doc" {with-doc}

     

       32
       32
        
         ]

     

       33
       33
        
       ]

     

       34
       34
       -
       dev-repo: "git://gitlab.com/o-labs/vue-jsoo"

     

       34
       34
       +
       dev-repo: "git+https://gitlab.com/o-labs/vue-jsoo"

     

       35
       35
        
       url {

     

       36
       36
        
         src:

     

       37
       37
        
           "https://gitlab.com/api/v4/projects/18174793/repository/archive?sha=2a338bcccd3cdd4c5b3c488f84b954baa976840e"

+1 -1

packages/vue-ppx/vue-ppx.0.1.0/opam

···

       26
       26
        
           "@doc" {with-doc}

     

       27
       27
        
         ]

     

       28
       28
        
       ]

     

       29
       29
       -
       dev-repo: "git://gitlab.com/functori/dev/vue-ppx"

     

       29
       29
       +
       dev-repo: "git+https://gitlab.com/functori/dev/vue-ppx"

     

       30
       30
        
       url {

     

       31
       31
        
         src:

     

       32
       32
        
           "https://gitlab.com/functori/dev/vue-ppx/-/archive/0.1.0/vue-ppx-0.1.0.tar.gz"