commit 3f11c783ff55b2f7a488fbd61751723e115a0dc8 · anil.recoil.org/opam-repository

+4 -1

packages/glical/glical.0.0.1/opam

···

       22
       22
        
       ]

     

       23
       23
        
       url {

     

       24
       24
        
         src: "http://pw374.github.io/distrib/glical/glical-0.0.1.tar.gz"

     

       25
       25
       -
         checksum: "md5=c4c53088559797ce7956aff1658e46c2"

     

       25
       25
       +
         checksum: [

     

       26
       26
       +
           "md5=c4c53088559797ce7956aff1658e46c2"

     

       27
       27
       +
           "sha256=a74cd789e8a5e5ced38eb8ec5952c58b1dc01e48f45789410c7684d9d7129891"

     

       28
       28
       +
         ]

     

       26
       29
        
       }

+4 -1

packages/glical/glical.0.0.2/opam

···

       22
       22
        
       ]

     

       23
       23
        
       url {

     

       24
       24
        
         src: "http://pw374.github.io/distrib/glical/glical-0.0.2.tar.gz"

     

       25
       25
       -
         checksum: "md5=e0abc6b8188cfd75263ad151acb68337"

     

       25
       25
       +
         checksum: [

     

       26
       26
       +
           "md5=e0abc6b8188cfd75263ad151acb68337"

     

       27
       27
       +
           "sha256=a14ad5c0b6181ff7ec8f088f405cb9eb0c9251509963227d61a72110dcbf437e"

     

       28
       28
       +
         ]

     

       26
       29
        
       }

+4 -1

packages/glical/glical.0.0.3/opam

···

       22
       22
        
       ]

     

       23
       23
        
       url {

     

       24
       24
        
         src: "http://pw374.github.io/distrib/glical/glical-0.0.3.tar.gz"

     

       25
       25
       -
         checksum: "md5=3277552ee387d0fa35db96d9fd79f04a"

     

       25
       25
       +
         checksum: [

     

       26
       26
       +
           "md5=3277552ee387d0fa35db96d9fd79f04a"

     

       27
       27
       +
           "sha256=ab30aa05e30ac8ec03cf04ddf1fdea159c1ccb9edf8f94d003fb768a4315f789"

     

       28
       28
       +
         ]

     

       26
       29
        
       }

+4 -1

packages/mpp/mpp.0.1.0/opam

···

       20
       20
        
       flags: light-uninstall

     

       21
       21
        
       url {

     

       22
       22
        
         src: "http://pw374.github.io/distrib/mpp/mpp-0.1.0.tar.gz"

     

       23
       23
       -
         checksum: "md5=eecebed1b7dbd60df5504f0f05ac9c0a"

     

       23
       23
       +
         checksum: [

     

       24
       24
       +
           "md5=eecebed1b7dbd60df5504f0f05ac9c0a"

     

       25
       25
       +
           "sha256=2127ede8d4c92ae5a03115cd31d75bddee185c9f0ef416b759dca5fec1adbbb1"

     

       26
       26
       +
         ]

     

       24
       27
        
       }

     

       25
       28
        
       extra-source "mpp.install" {

     

       26
       29
        
         src:

+4 -1

packages/mpp/mpp.0.1.1/opam

···

       20
       20
        
       flags: light-uninstall

     

       21
       21
        
       url {

     

       22
       22
        
         src: "http://pw374.github.io/distrib/mpp/mpp-0.1.1.tar.gz"

     

       23
       23
       -
         checksum: "md5=0d669151a1aca2bfcaa45d3dbe57f402"

     

       23
       23
       +
         checksum: [

     

       24
       24
       +
           "md5=0d669151a1aca2bfcaa45d3dbe57f402"

     

       25
       25
       +
           "sha256=976e02ffc9af0edde364d73d96e5baec6ee0cd46dca6f39313583ea8233888d1"

     

       26
       26
       +
         ]

     

       24
       27
        
       }

     

       25
       28
        
       extra-source "mpp.install" {

     

       26
       29
        
         src:

+4 -1

packages/mpp/mpp.0.1.2/opam

···

       20
       20
        
       flags: light-uninstall

     

       21
       21
        
       url {

     

       22
       22
        
         src: "http://pw374.github.io/distrib/mpp/mpp-0.1.2.tar.gz"

     

       23
       23
       -
         checksum: "md5=ed0ca474443f70da0bb5e20930456676"

     

       23
       23
       +
         checksum: [

     

       24
       24
       +
           "md5=ed0ca474443f70da0bb5e20930456676"

     

       25
       25
       +
           "sha256=7117a916b61276362b32e9b535dd4f1bc47b9d8c1462460d6ce63877a24521b4"

     

       26
       26
       +
         ]

     

       24
       27
        
       }

     

       25
       28
        
       extra-source "mpp.install" {

     

       26
       29
        
         src:

+4 -1

packages/mpp/mpp.0.1.3/opam

···

       20
       20
        
       flags: light-uninstall

     

       21
       21
        
       url {

     

       22
       22
        
         src: "http://pw374.github.io/distrib/mpp/mpp-0.1.3.tar.gz"

     

       23
       23
       -
         checksum: "md5=bce7c5d8d13bed67ee6ca80b776cf7a4"

     

       23
       23
       +
         checksum: [

     

       24
       24
       +
           "md5=bce7c5d8d13bed67ee6ca80b776cf7a4"

     

       25
       25
       +
           "sha256=6547fcefe9c67a03a10e613756dc86d99a1f56f2fd614bcbab65497d5e4615f6"

     

       26
       26
       +
         ]

     

       24
       27
        
       }

     

       25
       28
        
       extra-source "mpp.install" {

     

       26
       29
        
         src:

+4 -1

packages/mpp/mpp.0.1.4/opam

···

       27
       27
        
       flags: light-uninstall

     

       28
       28
        
       url {

     

       29
       29
        
         src: "http://pw374.github.io/distrib/mpp/mpp-0.1.4.tar.gz"

     

       30
       30
       -
         checksum: "md5=f960727ec51b95f1ed2224bc51a296bb"

     

       30
       30
       +
         checksum: [

     

       31
       31
       +
           "md5=f960727ec51b95f1ed2224bc51a296bb"

     

       32
       32
       +
           "sha256=e49ccdd59fe76301aa6acc6587e644207458c64c55ec2fb3dc758e107afa8c62"

     

       33
       33
       +
         ]

     

       31
       34
        
       }

     

       32
       35
        
       extra-source "mpp.install" {

     

       33
       36
        
         src:

+4 -1

packages/mpp/mpp.0.1.5/opam

···

       30
       30
        
       flags: light-uninstall

     

       31
       31
        
       url {

     

       32
       32
        
         src: "http://pw374.github.io/distrib/mpp/mpp-0.1.5.tar.gz"

     

       33
       33
       -
         checksum: "md5=9d457dfbcebff6424860c99c6a50db34"

     

       33
       33
       +
         checksum: [

     

       34
       34
       +
           "md5=9d457dfbcebff6424860c99c6a50db34"

     

       35
       35
       +
           "sha256=99e6e3b7ae1e40ff165b00d65f83e6f52e3bced0af87239a0dbddf2ba38fa5cb"

     

       36
       36
       +
         ]

     

       34
       37
        
       }

     

       35
       38
        
       extra-source "mpp.install" {

     

       36
       39
        
         src:

+4 -1

packages/mpp/mpp.0.1.7/opam

···

       31
       31
        
       language."""

     

       32
       32
        
       url {

     

       33
       33
        
         src: "http://pw374.github.io/distrib/mpp/mpp-0.1.7.tar.gz"

     

       34
       34
       -
         checksum: "md5=aa15c4ec59a6a3623f7398825dad9ce1"

     

       34
       34
       +
         checksum: [

     

       35
       35
       +
           "md5=aa15c4ec59a6a3623f7398825dad9ce1"

     

       36
       36
       +
           "sha256=4961ba3d2b55c5cd7c492a0bbbe2524278e45d87fb221844c3ec9b50b97027a3"

     

       37
       37
       +
         ]

     

       35
       38
        
       }

     

       36
       39
        
       extra-source "mpp.install" {

     

       37
       40
        
         src:

+4 -1

packages/mpp/mpp.0.1.8/opam

···

       31
       31
        
       language."""

     

       32
       32
        
       url {

     

       33
       33
        
         src: "http://pw374.github.io/distrib/mpp/mpp-0.1.8.tar.gz"

     

       34
       34
       -
         checksum: "md5=3e7b0ddd20d98cf5b1f44f29c0eb5670"

     

       34
       34
       +
         checksum: [

     

       35
       35
       +
           "md5=3e7b0ddd20d98cf5b1f44f29c0eb5670"

     

       36
       36
       +
           "sha256=e21bf36768c954c871411acedaeb9c611fe5a1f6f5634d954b8b6abc299f0484"

     

       37
       37
       +
         ]

     

       35
       38
        
       }

     

       36
       39
        
       extra-source "mpp.install" {

     

       37
       40
        
         src:

+4 -1

packages/mpp/mpp.0.2.0/opam

···

       31
       31
        
       language."""

     

       32
       32
        
       url {

     

       33
       33
        
         src: "http://pw374.github.io/distrib/mpp/mpp-0.2.0.tar.gz"

     

       34
       34
       -
         checksum: "md5=0299c02b229c88707cabf1c7d0bc674e"

     

       34
       34
       +
         checksum: [

     

       35
       35
       +
           "md5=0299c02b229c88707cabf1c7d0bc674e"

     

       36
       36
       +
           "sha256=a7f642262e1eaf042aad7f47f893545c192155275ff3b78ff6eb8d7ceac14f07"

     

       37
       37
       +
         ]

     

       35
       38
        
       }

     

       36
       39
        
       extra-source "mpp.install" {

     

       37
       40
        
         src:

+4 -1

packages/mpp/mpp.0.2.1/opam

···

       31
       31
        
       language."""

     

       32
       32
        
       url {

     

       33
       33
        
         src: "http://pw374.github.io/distrib/mpp/mpp-0.2.1.tar.gz"

     

       34
       34
       -
         checksum: "md5=a73658b7c769124f583ef83f71e6d289"

     

       34
       34
       +
         checksum: [

     

       35
       35
       +
           "md5=a73658b7c769124f583ef83f71e6d289"

     

       36
       36
       +
           "sha256=5a474c3419b63800e94541eeec110de1a083812b789bc9fb2c62b70789e5bbbf"

     

       37
       37
       +
         ]

     

       35
       38
        
       }

     

       36
       39
        
       extra-source "mpp.install" {

     

       37
       40
        
         src:

+4 -1

packages/mpp/mpp.0.3.0/opam

···

       31
       31
        
       language."""

     

       32
       32
        
       url {

     

       33
       33
        
         src: "http://pw374.github.io/distrib/mpp/mpp-0.3.0.tar.gz"

     

       34
       34
       -
         checksum: "md5=9cb4676472e19780149dde5b243b5b65"

     

       34
       34
       +
         checksum: [

     

       35
       35
       +
           "md5=9cb4676472e19780149dde5b243b5b65"

     

       36
       36
       +
           "sha256=094d35414ec7c11a5759aab04261922db1a71922af7a0346e9f57ba44a2cd6f5"

     

       37
       37
       +
         ]

     

       35
       38
        
       }

     

       36
       39
        
       extra-source "mpp.install" {

     

       37
       40
        
         src: