» Ubuntu » Balíky » stonking » devel » rumur
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Zdroj: rumur  ]

Balík: rumur (2025.02.02-1) [universe]

Odkazy pre rumur

Screenshot

Zdroje Ubuntu:

Stiahnuť zdrojový balík rumur:

Správca:

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

Original Maintainer (usually from Debian):

  • Matthew Fernandez

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

Externé zdroje:

Podobné balíky:

model checker for the Murphi language

Ostatné balíky súvisiace s balíkom rumur

  • závisí
  • odporúča
  • navrhuje
  • enhances
  • dep: libc6 (>= 2.38)
    GNU C Library: Shared libraries
  • dep: libgcc-s1 (>= 3.3.1) [nie armhf, riscv64]
    GCC support library
    dep: libgcc-s1 (>= 3.4) [riscv64]
    dep: libgcc-s1 (>= 3.5) [armhf]
  • dep: libgmp10 (>= 2:6.3.0+dfsg)
    Multiprecision arithmetic library
  • dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg)
    Multiprecision arithmetic library (C++ bindings)
  • dep: libstdc++6 (>= 13.1)
    GNU Standard C++ Library v3
  • dep: python3
    interactive high-level object-oriented language (default python3 version)
  • sug: z3
    theorem prover from Microsoft Research

Stiahnuť rumur

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 1,263.8 kB7,713.0 kB [zoznam súborov]
arm64 1,125.8 kB7,539.0 kB [zoznam súborov]
armhf 1,028.2 kB5,477.0 kB [zoznam súborov]
ppc64el 1,185.5 kB8,782.0 kB [zoznam súborov]
riscv64 2,013.9 kB15,149.0 kB [zoznam súborov]
s390x 1,145.4 kB7,553.0 kB [zoznam súborov]