все параметры
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

Пакет исходного кода: maude (2.7-2)

Ссылки для maude

Ресурсы Debian:

Сопровождающие:

Внешние ресурсы:

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

Другие пакеты, относящиеся к maude

  • для сборки
  • build-depends-indep

Download maude

ФайлРазмер (в Кб)Контрольная сумма MD5
maude_2.7-2.dsc 2,0 Кб 18193aafddde58540fce241937d5f3d7
maude_2.7.orig.tar.gz 1 624,7 Кб 95a4e744d5032d7839181c714e6cf8cb
maude_2.7-2.debian.tar.xz 6,6 Кб a251a737c7d0b0e8992fc51f7b2409c8
Репозиторий пакетов исходного кода Debian (VCS: Git)
https://anonscm.debian.org/git/debian-med/maude.git
Репозиторий пакетов исходного кода Debian (доступен просмотр)
https://anonscm.debian.org/cgit/debian-med/maude.git