[ jammy ] [ noble ] [ questing ] [ resolute ] [ stonking ]

Kaynak Paket: rumur (2025.02.02-1) [universe]

rumur için bağlantılar

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

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

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

adep: debhelper-compat (= 13)

Paket mevcut değil
adep: bison

YACC-compatible parser generator
adep: cmake

cross-platform, open-source make system
adep: flex

fast lexical analyzer generator
adep: libfl-dev

static library for flex (a fast lexical analyzer generator)
adep: libgmp-dev

Multiprecision arithmetic library developers tools
adep: libxml2-utils

GNOME XML library - utilities
adep: python3

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

Simple, powerful testing in Python3
adep: strace

System call tracer
adep: z3

theorem prover from Microsoft Research

Debian Paket Kaynak Deposu (VCS: Git): https://github.com/Smattr/rumur.git -b packaging/debian
Debian Paket Kaynak Deposu (Gezinilebilir): https://github.com/Smattr/rumur/tree/packaging/debian