toutes les options
bookworm  ] [  trixie  ] [  sid  ]

Paquet source : haskell-copilot-theorem (4.0-1)

Liens pour haskell-copilot-theorem

Ressources Debian :

Responsables :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
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

Autres paquets associés à haskell-copilot-theorem

  • build-depends
  • build-depends-indep

Download haskell-copilot-theorem

FichierTaille (en ko)Somme MD5
haskell-copilot-theorem_4.0-1.dsc 3,7 ko dd266c2857c28cf4705bd4170e79dc7d
haskell-copilot-theorem_4.0.orig.tar.gz 64,6 ko 3d6e4cf57245d3fc74c22d80bc993c4d
haskell-copilot-theorem_4.0-1.debian.tar.xz 2,8 ko d7b09b179398ccc907ca7b0254a01d2c
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-theorem]
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-copilot-theorem