[ bullseye ] [ bookworm ] [ trixie ] [ forky ] [ sid ]

Пакет исходного кода: rumur (2026.03.11-1)

Ссылки для rumur

Из этого пакета исходного кода собираются следующие двоичные пакеты:

adep: debhelper-compat (= 13)

Пакет недоступен
adep: bison

YACC-compatible parser generator
adep: cmake

платформонезависимая система сборки с открытым исходным кодом
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

интерактивный высокоуровневый объектно-ориентированный язык (версия python3 по умолчанию)
adep: python3-pytest

Simple, powerful testing in Python3
adep: strace

System call tracer
adep: z3

средство доказательства теорем от Microsoft Research

Репозиторий пакетов исходного кода Debian (VCS: Git): https://github.com/Smattr/rumur.git -b packaging/debian
Репозиторий пакетов исходного кода Debian (доступен просмотр): https://github.com/Smattr/rumur/tree/packaging/debian