anil.recoil.org / opam-repository
this repo has no description
fork atom

Update packages/why3find/why3find.1.0/opam

Co-authored-by: Raphaël Proust <raphael-proust@users.noreply.github.com>

btjorge c50dd3e5 ea174b46

options
unified split
Changed files
+1 -1
packages
why3find
why3find.1.0
opam
+1 -1
packages/why3find/why3find.1.0/opam 
···

       
8

       
8

       
 

       
  "Loïc Correnson <loic.correnson@cea.fr>"


     

       
9

       
9

       
 

       
  "Benjamin Jorge <benjamin.jorge@cea.fr>"


     

       
10

       
10

       
 

       
]


     

       
11

       

       
-

       
license: "LGPL-2.1"


     

       

       
11

       
+

       
license: "LGPL-2.1-only"


     

       
12

       
12

       
 

       
tags: ["topics" "why3"]


     

       
13

       
13

       
 

       
homepage: "https://git.frama-c.com/pub/why3find"


     

       
14

       
14

       
 

       
doc: "https://git.frama-c.com/pub/why3find"