From fd09f3c004131a0924ea8be5e9d6a819cd86928f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=ADgille=20S=2E=20B=2E=20Menezes?= Date: Tue, 5 Oct 2021 13:05:59 -0300 Subject: [PATCH] restore debian binary package files --- bin/scm/kind-scm_1.0.1-0_amd64/DEBIAN/control | 6 ++++++ bin/scm/kind-scm_1.0.1-0_amd64/DEBIAN/copyright | 10 ++++++++++ 2 files changed, 16 insertions(+) create mode 100644 bin/scm/kind-scm_1.0.1-0_amd64/DEBIAN/control create mode 100644 bin/scm/kind-scm_1.0.1-0_amd64/DEBIAN/copyright diff --git a/bin/scm/kind-scm_1.0.1-0_amd64/DEBIAN/control b/bin/scm/kind-scm_1.0.1-0_amd64/DEBIAN/control new file mode 100644 index 00000000..6e821061 --- /dev/null +++ b/bin/scm/kind-scm_1.0.1-0_amd64/DEBIAN/control @@ -0,0 +1,6 @@ +Package: kind-scm +Version: 1.0.93 +Architecture: amd64 +Maintainer: Rígille S. B. Menezes +Description: ChezScheme release of the kind programming language. + A minimal, efficient and practical proof and programming language. Under the hoods, it is basically Haskell, except purer and with dependent types. That means it can handle mathematical theorems just like Coq, Idris, Lean and Agda. On the surface, it aims to be more practical and looks more like TypeScript. diff --git a/bin/scm/kind-scm_1.0.1-0_amd64/DEBIAN/copyright b/bin/scm/kind-scm_1.0.1-0_amd64/DEBIAN/copyright new file mode 100644 index 00000000..37892f04 --- /dev/null +++ b/bin/scm/kind-scm_1.0.1-0_amd64/DEBIAN/copyright @@ -0,0 +1,10 @@ +Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Upstream-Name: kind-scm +Upstream-Contact: Rígille S. B. Menezes +Source: https://github.com/uwu-tech/Kind + +Files: * +Copyright: 2016-2019 Ethereum Foundation + 2019-2021 Sunshine Cybernetics + 2021, Victor Maia +License: MIT