alle opties
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Bronpakket: maude (3.1-2)

Verwijzigingen voor maude

Debian bronnen:

Beheerders:

Externe bronnen:

De volgende binaire pakketten worden van dit bronpakket gebouwd:
maude
high-performance logical framework

Andere aan maude gerelateerde pakketten

  • build-depends
  • build-depends-indep

Download maude

BestandGrootte (in kB)MD5 checksum
maude_3.1-2.dsc 2,0 kB ba2ae917519e77c20aa86c6563417c5c
maude_3.1.orig.tar.gz 2.281,0 kB bd1a5cc6f3a88c916e092143c4eb9dea
maude_3.1-2.debian.tar.xz 6,6 kB d87fa188c634bbe1c45bb7bd2e502605
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/med-team/maude.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/med-team/maude