все параметры
bookworm  ] [  trixie  ] [  sid  ]

Пакет исходного кода: haskell-copilot-theorem (4.0-2)

Ссылки для haskell-copilot-theorem

Ресурсы Debian:

Сопровождающие:

Внешние ресурсы:

Из этого пакета исходного кода собираются следующие двоичные пакеты:
libghc-copilot-theorem-dev
k-induction for Copilot.
libghc-copilot-theorem-doc
k-induction for Copilot.; documentation
libghc-copilot-theorem-prof
k-induction for Copilot.; profiling libraries

Другие пакеты, относящиеся к haskell-copilot-theorem

  • для сборки
  • build-depends-indep

Download haskell-copilot-theorem

ФайлРазмер (в Кб)Контрольная сумма MD5
haskell-copilot-theorem_4.0-2.dsc 3,7 Кб c5a4f6de540b8405b27d3816948d237d
haskell-copilot-theorem_4.0.orig.tar.gz 64,6 Кб 3d6e4cf57245d3fc74c22d80bc993c4d
haskell-copilot-theorem_4.0-2.debian.tar.xz 2,8 Кб a8d965da8cf54d958f00d11054def0e8
Репозиторий пакетов исходного кода Debian (VCS: Git)
https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-theorem]
Репозиторий пакетов исходного кода Debian (доступен просмотр)
https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-copilot-theorem