commit 930d908b89a0cdb37c68ce56d5a1b00e5646ef3c · anil.recoil.org/opam-repository

+1 -1

packages/antic/antic.0.4.0/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
       -
       synopsis: "deprecated use flint"

     

       2
       2
       +
       synopsis: "Deprecated use flint"

     

       3
       3
        
       maintainer: ["François Bobot"]

     

       4
       4
        
       authors: ["François Bobot"]

     

       5
       5
        
       license: "LGPL-2.1-only"

+1 -1

packages/arb/arb.0.4.0/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
       -
       synopsis: "deprecated use flint"

     

       2
       2
       +
       synopsis: "Deprecated use flint"

     

       3
       3
        
       maintainer: ["François Bobot"]

     

       4
       4
        
       authors: ["François Bobot"]

     

       5
       5
        
       license: "LGPL-2.1-only"

+1 -1

packages/calcium/calcium.0.4.0/opam

···

       1
       1
        
       opam-version: "2.0"

     

       2
       2
       -
       synopsis: "deprecated use flint"

     

       2
       2
       +
       synopsis: "Deprecated use flint"

     

       3
       3
        
       maintainer: ["François Bobot"]

     

       4
       4
        
       authors: ["François Bobot"]

     

       5
       5
        
       license: "LGPL-2.1-only"