commit 2dde26db238661e2a8860e82cd095227cd629b3b · anil.recoil.org/opam-repository

+24

packages/eprover/eprover.2.6/opam

···

       1
       +
       opam-version: "2.0"

     

       2
       +
       maintainer: "7895506+MSoegtropIMC@users.noreply.github.com"

     

       3
       +
       authors: [ "Stephan Schulz" "Simon Cruanes" "Petar Vukmirovic" "Mohamed Bassem" "Martin Moehrmann" ]

     

       4
       +
       homepage: "https://wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.html"

     

       5
       +
       license: ["LGPL-2.1-or-later" "GPL-2.0-or-later"]

     

       6
       +
       dev-repo: "git+https://github.com/eprover/eprover.git"

     

       7
       +
       bug-reports: "Stephan Schulz (see homepage for email)"

     

       8
       +
       build: [

     

       9
       +
         [ "./configure" "--bindir=%{bin}%" ]

     

       10
       +
         [ make "-j" "%{jobs}%" ]

     

       11
       +
       ]

     

       12
       +
       install: [

     

       13
       +
         [ make "install" ]

     

       14
       +
       ]

     

       15
       +
       depends: [

     

       16
       +
         "conf-gcc"

     

       17
       +
       ]

     

       18
       +
       synopsis: "E Theorem Prover"

     

       19
       +
       description: "E is a theorem prover for full first-order logic with equality. It accepts a problem specification, typically consisting of a number of first-order clauses or formulas, and a conjecture, again either in clausal or full first-order form. The system will then try to find a formal proof for the conjecture, assuming the axioms."

     

       20
       +
       url {

     

       21
       +
         # Note: the main author prefers this download link over the also available github tag tarball download and expects that the link is stable over time

     

       22
       +
         src: "http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.6/E.tgz"

     

       23
       +
         checksum: "sha512=20ba97779b81b215296215e6fb10db742c16684c6a38a4612ee2c28a72917aaea8f87daea4cd49557f5b47720c62cffd38445cf779e6690dd0f0924d26b37683"

     

       24
       +
       }