blob: c7609e0d1e448d0d1a4150abc331c6ab2d3d5271 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# Generated by mksrcinfo v8
# Wed Feb 24 15:04:43 UTC 2016
pkgbase = darwin
pkgdesc = The darwin prover suite. http://combination.cs.uiowa.edu/Darwin/
pkgver = 1.4.5
pkgrel = 2
url = http://combination.cs.uiowa.edu/Darwin/
arch = x86_64
license = GPL2
depends = ocaml
depends = python
provides = darwin
conflicts = darwin
source = http://combination.cs.uiowa.edu/Darwin/files/darwin_v1.4.5.tar.gz
sha1sums = 25edfc2ffb8af176387c6d8046ed447e4ae5a6b7
pkgname = darwin
|