すべてのオプション
[  buster  ] [  bullseye  ]

ソースパッケージ: curry-tools (2.1.0-1)

curry-tools に関するリンク

Debian の資源:

メンテナ:

外部の資源:

以下のバイナリパッケージがこのソースパッケージからビルドされています。
curry-tools-source
Tools that are used by different Curry systems, like PAKCS or KiCS2

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

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

Download curry-tools

ファイルサイズ (単位: kB)MD5 チェックサム
curry-tools_2.1.0-1.dsc 2.0 kB 97a8d2db86d6ccf379909fc9bbcbbd91
curry-tools_2.1.0.orig.tar.gz 522.3 kB dc301caf69b2b7c4f4952c114129f31e
curry-tools_2.1.0-1.debian.tar.xz 3.7 kB a60e77c9d93c323eef2814fab5899faf
Debian パッケージソースリポジトリ (VCS: Git)
https://salsa.debian.org/pkg-curry-team/curry-tools.git
Debian パッケージソースリポジトリ (ブラウザで表示可能)
https://salsa.debian.org/pkg-curry-team/curry-tools