paket adları açıklamalar kaynak paket adları paket içerikleri tüm seçenekler

[  jammy  ]

curry-tools için bağlantılar

Ubuntu Kaynakları:

• Hata Raporları
• Ubuntu Değişim Günlüğü
• Telif Hakkı Dosyası
• Debian Kaynak Deposu (Git)

Geliştirici:

• Ubuntu MOTU Developers (Posta Arşivi)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

• Debian Curry Maintainers (Posta Arşivi)
• Mike Gabriel
• Michael Hanus

It should generally not be necessary for users to contact the original maintainer.

Dış Kaynaklar:

• Ana Sayfa [git.ps.informatik.uni-kiel.de]

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:

curry-tools-source

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

curry-tools ile İlgili Diğer Paketler

inşa bağımlılıkları

bağımsız inşa bağımlılıkları

• 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

Dosya	Boyut (kB cinsinden)	MD5 sağlama toplamı
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 Paket Kaynak Deposu (VCS: Git)

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

Debian Paket Kaynak Deposu (Gezinilebilir)

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