commit 0e69482f4e1a178cff44516cbed3f1204fe870a8 · anil.recoil.org/opam-repository

+1

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

···

       67
       67
        
         ]

     

       68
       68
        
       }

     

       69
       69
        
       x-commit-hash: "d792dfc5944e2bb3aae19d2ec56ffd7e9d35fee5"

     

       70
       70
       +
       x-maintained: false

+1

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

···

       56
       56
        
         ]

     

       57
       57
        
       }

     

       58
       58
        
       x-commit-hash: "d792dfc5944e2bb3aae19d2ec56ffd7e9d35fee5"

     

       59
       59
       +
       x-maintained: false

+1

packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.5.0/opam

···

       46
       46
        
         ]

     

       47
       47
        
       }

     

       48
       48
        
       x-commit-hash: "d792dfc5944e2bb3aae19d2ec56ffd7e9d35fee5"

     

       49
       49
       +
       x-maintained: false

+1

packages/alt-ergo/alt-ergo.2.5.0/opam

···

       58
       58
        
         ]

     

       59
       59
        
       }

     

       60
       60
        
       x-commit-hash: "d792dfc5944e2bb3aae19d2ec56ffd7e9d35fee5"

     

       61
       61
       +
       x-maintained: false

+1

packages/apron/apron.0.9.14/opam

···

       51
       51
        
           "sha512=9c1107cea95d56a377f221724064bc65dc605a624171064e681c07e1dece688e06b5511e9974df7c20d883d7dc6cdb25bf1431a8968d721d5c587875ffef751a"

     

       52
       52
        
         ]

     

       53
       53
        
       }

     

       54
       54
       +
       x-maintained: false

+1

packages/miou/miou.0.0.1~beta1/opam

···

       35
       35
        
         ]

     

       36
       36
        
       }

     

       37
       37
        
       x-commit-hash: "2f1570bf929771847789841c2d151a99df8a5b7b"

     

       38
       38
       +
       x-maintained: false

+1

packages/miou/miou.0.0.1~beta2/opam

···

       33
       33
        
         ]

     

       34
       34
        
       }

     

       35
       35
        
       x-commit-hash: "15d8abbb03eb4496ac8011e96ddfae167f56bdf2"

     

       36
       36
       +
       x-maintained: false

+1

packages/mirage-runtime/mirage-runtime.4.0.0~beta1/opam

···

       46
       46
        
         ]

     

       47
       47
        
       }

     

       48
       48
        
       x-commit-hash: "e3550ff28408f079f4ca010d1a63b9265164ea7b"

     

       49
       49
       +
       x-maintained: false

+1

packages/mirage-runtime/mirage-runtime.4.0.0~beta2/opam

···

       46
       46
        
         ]

     

       47
       47
        
       }

     

       48
       48
        
       x-commit-hash: "375aaea74113aa0a2ca1d418f336abcbe4a95e63"

     

       49
       49
       +
       x-maintained: false

+1

packages/mirage-runtime/mirage-runtime.4.0.0~beta3/opam

···

       46
       46
        
         ]

     

       47
       47
        
       }

     

       48
       48
        
       x-commit-hash: "537f30badf994e4d57df2b1251e0fa75260fdfa6"

     

       49
       49
       +
       x-maintained: false

+1

packages/mirage/mirage.4.0.0~beta1/opam

···

       55
       55
        
         ]

     

       56
       56
        
       }

     

       57
       57
        
       x-commit-hash: "e3550ff28408f079f4ca010d1a63b9265164ea7b"

     

       58
       58
       +
       x-maintained: false

+1

packages/mirage/mirage.4.0.0~beta2/opam

···

       55
       55
        
         ]

     

       56
       56
        
       }

     

       57
       57
        
       x-commit-hash: "375aaea74113aa0a2ca1d418f336abcbe4a95e63"

     

       58
       58
       +
       x-maintained: false

+1

packages/mirage/mirage.4.0.0~beta3/opam

···

       55
       55
        
         ]

     

       56
       56
        
       }

     

       57
       57
        
       x-commit-hash: "537f30badf994e4d57df2b1251e0fa75260fdfa6"

     

       58
       58
       +
       x-maintained: false

+1

packages/oma/oma.20240106/opam

···

       35
       35
        
         ]

     

       36
       36
        
       }

     

       37
       37
        
       flags: [ deprecated ]

     

       38
       38
       +
       x-maintained: false

+1

packages/solo5/solo5.0.7.0/opam

···

       53
       53
        
         checksum: "sha512=7d89539d4964c4c2133bddf82fab865db523b069845b2f6367f3f2bf68e743cfe97e5ffff6fa90a217cc9392078b52de63ecd8e540e9a50c39f435fded0717d0"

     

       54
       54
        
       }

     

       55
       55
        
       flags: [ deprecated ] # uses -Werror

     

       56
       56
       +
       x-maintained: false

+1

packages/solo5/solo5.0.7.1/opam

···

       51
       51
        
         checksum: "sha512=ccbe136a402b856dc99e5da449f62c1ed24f49b676ebae0a715a1f043cb0762ac404754f0887039d3dbdef1cd413a0a7e4d92b8dee562f06d3932fcb668180ed"

     

       52
       52
        
       }

     

       53
       53
        
       flags: [ deprecated ] # uses -Werror

     

       54
       54
       +
       x-maintained: false

+1

packages/solo5/solo5.0.7.2/opam

···

       51
       51
        
         checksum: "sha512=376d5d6caebf824928949a2e8be9b879dd924a6ce30128e183ebdfb99d812a42f528196315d85b0bee4ddec87ea92264ed763f74548cf3f9519c94fd13abb4b9"

     

       52
       52
        
       }

     

       53
       53
        
       flags: [ deprecated ] # uses -Werror

     

       54
       54
       +
       x-maintained: false

+1

packages/solo5/solo5.0.7.3/opam

···

       51
       51
        
         checksum: "sha512=cafc590923b7bb53f27d46255914af620e47f14ce772c2e03afb0badf3c89abe06e625db290a8ccfaf280320ad4e63cf4876106f5d1d8a7801b13ccb5c033f2d"

     

       52
       52
        
       }

     

       53
       53
        
       flags: [ deprecated ] # uses -Werror

     

       54
       54
       +
       x-maintained: false

+1

packages/solo5/solo5.0.7.4/opam

···

       52
       52
        
         checksum: "sha512=1a47ee4a9e08704ae7aa5f48efdd79e33ae83d4d2f60a2c8ef7db33c85412cd1f0b023b4acc0ad6123377933a2ce6841590cf127fd2c062ff8d1594f36cddda1"

     

       53
       53
        
       }

     

       54
       54
        
       flags: [ deprecated ] # uses -Werror

     

       55
       55
       +
       x-maintained: false

+1

packages/solo5/solo5.0.7.5/opam

···

       52
       52
        
         checksum: "sha512=1e8be23e84e54f8fdb364e8d2a20933150930b43f91085b4dd378ed6445718ef38abca98bcfd0a1e68cdbda747bf829551f0b2a31cdcfe13db219e332512ff79"

     

       53
       53
        
       }

     

       54
       54
        
       flags: [ deprecated ] # uses -Werror

     

       55
       55
       +
       x-maintained: false

+1

packages/solo5/solo5.0.8.0/opam

···

       52
       52
        
         checksum: "sha512=d819d66407b84b56d46b5e534d5424903f15b124aa1c24d546abe1d9adb5a622ceee93cb1303a14ebf7811c7b5dad2d94a490cabbde489245efd66114617c39b"

     

       53
       53
        
       }

     

       54
       54
        
       flags: [ deprecated ] # uses -Werror

     

       55
       55
       +
       x-maintained: false

+1 -1

packages/u2f/u2f.0.1.2/opam

···

       51
       51
        
       x-commit-hash: "5129621085dc306c893a94ac86e2cf6d8406bec7"

     

       52
       52
        
       flags: deprecated

     

       53
       53
        
       post-messages: [ "Please consider moving to the webauthn library. The U2F API has been deprecated and removed in most browsers and this library is now unmaintained."]

     

       54
       54
       -
       

     

       54
       54
       +
       x-maintenance-intent: [ "(none)" ]