mirror of
https://github.com/HigherOrderCO/Kind1.git
synced 2024-10-26 18:37:43 +03:00
restore debian binary package files
This commit is contained in:
parent
0c79bb4176
commit
fd09f3c004
6
bin/scm/kind-scm_1.0.1-0_amd64/DEBIAN/control
Normal file
6
bin/scm/kind-scm_1.0.1-0_amd64/DEBIAN/control
Normal file
@ -0,0 +1,6 @@
|
||||
Package: kind-scm
|
||||
Version: 1.0.93
|
||||
Architecture: amd64
|
||||
Maintainer: Rígille S. B. Menezes <rigillesbmenezes@protonmail.com>
|
||||
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.
|
10
bin/scm/kind-scm_1.0.1-0_amd64/DEBIAN/copyright
Normal file
10
bin/scm/kind-scm_1.0.1-0_amd64/DEBIAN/copyright
Normal file
@ -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 <rigillesbmenezes@protonmail.com>
|
||||
Source: https://github.com/uwu-tech/Kind
|
||||
|
||||
Files: *
|
||||
Copyright: 2016-2019 Ethereum Foundation
|
||||
2019-2021 Sunshine Cybernetics
|
||||
2021, Victor Maia
|
||||
License: MIT
|
Loading…
Reference in New Issue
Block a user