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

+2 -2

packages/alt-ergo-lib/alt-ergo-lib.2.4.3/opam

···

       43
       43
        
       url {

     

       44
       44
        
         src: "https://github.com/OCamlPro/alt-ergo/releases/download/2.4.3/alt-ergo-2.4.3.tar.gz"

     

       45
       45
        
         checksum: [

     

       46
       46
       -
           "md5=25dcaf1e3b46c68d195afc82cc0f3e88"

     

       47
       47
       -
           "sha512=d615c2285d8260aeffaaa18c6535bcde002819e8975b2bdad2bb6e0db16aa0d2bb837be0075629b8848d2f49ee0e2cb17a06c1012fc710943e123eaf3d2e2b75"

     

       46
       46
       +
           "md5=ba99f4c71bf6de3d2475272af2ee7df2"

     

       47
       47
       +
           "sha512=90c01175ec5e4c1818b1d370e300f30d6b433d34d3bae5d85394911a9bf145f1a66c41e997627d074206a8c57909c44c22dc86ed2df746f9ba1f1d7f21d7d60c"

     

       48
       48
        
         ]

     

       49
       49
        
       }

+2 -2

packages/alt-ergo-parsers/alt-ergo-parsers.2.4.3/opam

···

       41
       41
        
       url {

     

       42
       42
        
         src: "https://github.com/OCamlPro/alt-ergo/releases/download/2.4.3/alt-ergo-2.4.3.tar.gz"

     

       43
       43
        
         checksum: [

     

       44
       44
       -
           "md5=25dcaf1e3b46c68d195afc82cc0f3e88"

     

       45
       45
       -
           "sha512=d615c2285d8260aeffaaa18c6535bcde002819e8975b2bdad2bb6e0db16aa0d2bb837be0075629b8848d2f49ee0e2cb17a06c1012fc710943e123eaf3d2e2b75"

     

       44
       44
       +
           "md5=ba99f4c71bf6de3d2475272af2ee7df2"

     

       45
       45
       +
           "sha512=90c01175ec5e4c1818b1d370e300f30d6b433d34d3bae5d85394911a9bf145f1a66c41e997627d074206a8c57909c44c22dc86ed2df746f9ba1f1d7f21d7d60c"

     

       46
       46
        
         ]

     

       47
       47
        
       }

+2 -2

packages/alt-ergo/alt-ergo.2.4.3/opam

···

       38
       38
        
       url {

     

       39
       39
        
         src: "https://github.com/OCamlPro/alt-ergo/releases/download/2.4.3/alt-ergo-2.4.3.tar.gz"

     

       40
       40
        
         checksum: [

     

       41
       41
       -
           "md5=25dcaf1e3b46c68d195afc82cc0f3e88"

     

       42
       42
       -
           "sha512=d615c2285d8260aeffaaa18c6535bcde002819e8975b2bdad2bb6e0db16aa0d2bb837be0075629b8848d2f49ee0e2cb17a06c1012fc710943e123eaf3d2e2b75"

     

       41
       41
       +
           "md5=ba99f4c71bf6de3d2475272af2ee7df2"

     

       42
       42
       +
           "sha512=90c01175ec5e4c1818b1d370e300f30d6b433d34d3bae5d85394911a9bf145f1a66c41e997627d074206a8c57909c44c22dc86ed2df746f9ba1f1d7f21d7d60c"

     

       43
       43
        
         ]

     

       44
       44
        
       }

+2 -2

packages/altgr-ergo/altgr-ergo.2.4.3/opam

···

       43
       43
        
       url {

     

       44
       44
        
         src: "https://github.com/OCamlPro/alt-ergo/releases/download/2.4.3/alt-ergo-2.4.3.tar.gz"

     

       45
       45
        
         checksum: [

     

       46
       46
       -
           "md5=25dcaf1e3b46c68d195afc82cc0f3e88"

     

       47
       47
       -
           "sha512=d615c2285d8260aeffaaa18c6535bcde002819e8975b2bdad2bb6e0db16aa0d2bb837be0075629b8848d2f49ee0e2cb17a06c1012fc710943e123eaf3d2e2b75"

     

       46
       46
       +
           "md5=ba99f4c71bf6de3d2475272af2ee7df2"

     

       47
       47
       +
           "sha512=90c01175ec5e4c1818b1d370e300f30d6b433d34d3bae5d85394911a9bf145f1a66c41e997627d074206a8c57909c44c22dc86ed2df746f9ba1f1d7f21d7d60c"

     

       48
       48
        
         ]

     

       49
       49
        
       }