commit 68e253524245770c9d75f25b27aa506ea4a220c3 · anil.recoil.org/opam-repository

+2 -2

packages/bddrand/bddrand.2.71.10/opam

···

       23
       23
        
         src:

     

       24
       24
        
           "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutin.2.71.10.tgz"

     

       25
       25
        
         checksum: [

     

       26
       26
       -
           "md5=8ecacd358fd499894821e5e544da8bba"

     

       27
       27
       -
           "sha512=5277ac443229a65d20fce6dbd9c5caf4ef61db8d0bceac993c1ac727d51a2ea435ff52aa498381f7ef653a11e40044ece95a9029caa40297610ef9417f5680ca"

     

       26
       26
       +
           "md5=4d07d1263dbc90ab18cbaec55a57dcfe"

     

       27
       27
       +
           "sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de"

     

       28
       28
        
         ]

     

       29
       29
        
       }

+2 -2

packages/ezdl/ezdl.2.71.10/opam

···

       23
       23
        
         src:

     

       24
       24
        
           "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutin.2.71.10.tgz"

     

       25
       25
        
         checksum: [

     

       26
       26
       -
           "md5=8ecacd358fd499894821e5e544da8bba"

     

       27
       27
       -
           "sha512=5277ac443229a65d20fce6dbd9c5caf4ef61db8d0bceac993c1ac727d51a2ea435ff52aa498381f7ef653a11e40044ece95a9029caa40297610ef9417f5680ca"

     

       26
       26
       +
           "md5=4d07d1263dbc90ab18cbaec55a57dcfe"

     

       27
       27
       +
           "sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de"

     

       28
       28
        
         ]

     

       29
       29
        
       }

+2 -2

packages/gbddml/gbddml.2.71.10/opam

···

       22
       22
        
         src:

     

       23
       23
        
           "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutin.2.71.10.tgz"

     

       24
       24
        
         checksum: [

     

       25
       25
       -
           "md5=8ecacd358fd499894821e5e544da8bba"

     

       26
       26
       -
           "sha512=5277ac443229a65d20fce6dbd9c5caf4ef61db8d0bceac993c1ac727d51a2ea435ff52aa498381f7ef653a11e40044ece95a9029caa40297610ef9417f5680ca"

     

       25
       25
       +
           "md5=4d07d1263dbc90ab18cbaec55a57dcfe"

     

       26
       26
       +
           "sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de"

     

       27
       27
        
         ]

     

       28
       28
        
       }

+2 -2

packages/lutin/lutin.2.71.10/opam

···

       41
       41
        
         src:

     

       42
       42
        
           "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutin.2.71.10.tgz"

     

       43
       43
        
         checksum: [

     

       44
       44
       -
           "md5=8ecacd358fd499894821e5e544da8bba"

     

       45
       45
       -
           "sha512=5277ac443229a65d20fce6dbd9c5caf4ef61db8d0bceac993c1ac727d51a2ea435ff52aa498381f7ef653a11e40044ece95a9029caa40297610ef9417f5680ca"

     

       44
       44
       +
           "md5=4d07d1263dbc90ab18cbaec55a57dcfe"

     

       45
       45
       +
           "sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de"

     

       46
       46
        
         ]

     

       47
       47
        
       }

+2 -2

packages/polka/polka.2.71.10/opam

···

       31
       31
        
         src:

     

       32
       32
        
           "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutin.2.71.10.tgz"

     

       33
       33
        
         checksum: [

     

       34
       34
       -
           "md5=8ecacd358fd499894821e5e544da8bba"

     

       35
       35
       -
           "sha512=5277ac443229a65d20fce6dbd9c5caf4ef61db8d0bceac993c1ac727d51a2ea435ff52aa498381f7ef653a11e40044ece95a9029caa40297610ef9417f5680ca"

     

       34
       34
       +
           "md5=4d07d1263dbc90ab18cbaec55a57dcfe"

     

       35
       35
       +
           "sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de"

     

       36
       36
        
         ]

     

       37
       37
        
       }