[  etiona  ] [  nabia  ] [  aramo  ]

curry-tools に関するリンク

Trisquel の資源:

• バグ報告
• Changelog
• 著作権ファイル
• Debian ソースリポジトリ (Git)

メンテナ:

• Debian Curry Maintainers (メールアーカイブ)

Original Maintainers:

• Debian Curry Maintainers (メールアーカイブ)
• Mike Gabriel
• Michael Hanus

外部の資源:

• ホームページ [git.ps.informatik.uni-kiel.de]

以下のバイナリパッケージがこのソースパッケージからビルドされています。

curry-tools-source

Tools that are used by different Curry systems, like PAKCS or KiCS2

その他の curry-tools 関連パッケージ

構築依存	構築依存 (アーキテクチャ非依存)

• adep: cdbs

  common build system for Debian packages

• adep: debhelper (>= 10~)

  helper programs for debian/rules

• adep: tar (>= 1.28)

  GNU version of the tar archiving utility

Download curry-tools

ファイル	サイズ (単位: kB)	MD5 チェックサム
curry-tools_3.3.0-2.dsc	2.0 kB	8d8087b1d4cec24df6cf8933c4078f9f
curry-tools_3.3.0.orig.tar.gz	582.3 kB	c4bf9d26e5ea833bc9b7bd4127f2bab8
curry-tools_3.3.0-2.debian.tar.xz	3.9 kB	bc2e8d9e4dbce421a96469de399b279d

Debian パッケージソースリポジトリ (VCS: Git)

https://salsa.debian.org/pkg-curry-team/curry-tools.git

Debian パッケージソースリポジトリ (ブラウザで表示可能)

https://salsa.debian.org/pkg-curry-team/curry-tools