forked from runtimeverification/k
-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathcontrol.debian
More file actions
17 lines (16 loc) · 796 Bytes
/
control.debian
File metadata and controls
17 lines (16 loc) · 796 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
Source: kframework
Section: devel
Priority: optional
Maintainer: Dwight Guth <dwight.guth@runtimeverification.com>
Build-Depends: debhelper (>=9), maven, openjdk-11-jdk, cmake, libboost-test-dev, libyaml-dev, libjemalloc-dev, flex, clang-7, zlib1g-dev, libgmp-dev, libmpfr-dev
Standards-Version: 3.9.6
Homepage: https://github.com/kframework/k
Package: kframework
Architecture: any
Section: devel
Priority: optional
Depends: default-jre-headless | java8-runtime-headless, flex, bison, gcc, libgmp-dev, libmpfr-dev, z3, libz3-dev, clang-7, lld-7, libyaml-0-2, libjemalloc-dev, opam
Description: K framework toolchain
Includes K Framework compiler for K language definitions, and K interpreter
and prover for programs written in languages defined in K.
Homepage: https://github.com/kframework/k