[  aramo  ] [  ecne  ] [  ecne-updates  ] [  xolotl  ]

[ Pakiet źródłowy: cryptominisat  ]

Odnośniki dla python3-cryptominisat

Zasoby systemu Trisquel:

• Install using apturl
• Entry at directory.fsf.org
• Raporty o błędach
• Changelog
• Informacje nt. praw autorskich

Pobieranie pakietu źródłowego cryptominisat:

• [cryptominisat_5.11.15+dfsg1-1.1build1.dsc]
• [cryptominisat_5.11.15+dfsg1.orig.tar.xz]
• [cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz]

Opiekun:

• Ubuntu Developers (Archiwum e-mail)

Original Maintainers:

• Debian Science Team (Archiwum e-mail)
• Julian Rüth
• Julien Puydt

Zasoby zewnętrzne:

• Strona internetowa [www.msoos.org]

Podobne pakiety:

• libcryptominisat5-5.11t64
• libcryptominisat5-5.11
• libcryptominisat5-5.8
• cryptominisat
• libghc-doctest-parallel-dev
• python3-pycosat
• libghc-doctest-parallel-doc
• libghc-doctest-parallel-prof
• python3-codetiming
• python3-brotlicffi
• python3-nh3

Inne pakiety związane z python3-cryptominisat

wymaga

poleca

sugeruje

• dep: libc6 (>= 2.34)

  GNU C Library: Shared libraries
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libgcc-s1 (>= 3.4)

  GCC support library

• dep: libstdc++6 (>= 13.1)

  GNU Standard C++ Library v3

• dep: python3 (<< 3.13)

  interactive high-level object-oriented language (default python3 version)

  dep: python3 (>= 3.12~)

Pobieranie python3-cryptominisat

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	513,6 KiB	1357 KiB	[lista plików]