diff options
author | Paul Spooren <mail@aparcar.org> | 2022-03-20 15:18:27 +0000 |
---|---|---|
committer | Jo-Philipp Wich <jo@mein.io> | 2022-03-31 10:01:49 +0200 |
commit | f4042854d3a5a75ad34f856d0d12d5c74e751488 (patch) | |
tree | 0e85cc0f39a2a9acf0469816255cb2323c4a2ebb /debian/source | |
parent | 8134e2509d6aa201e46eaae4f7eb55bfbbf758ee (diff) |
debian: Add package definition
This adds Debian packages for the ucode interpreter, the runtime library,
development headers and extension modules.
Fixes: #55
Signed-off-by: Paul Spooren <mail@aparcar.org>
[split into multiple packages, pass SOVERSION to the build]
Signed-off-by: Jo-Philipp Wich <jo@mein.io>
Diffstat (limited to 'debian/source')
-rw-r--r-- | debian/source/format | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/source/format b/debian/source/format new file mode 100644 index 0000000..163aaf8 --- /dev/null +++ b/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) |