hoppa över navigationen

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Paket / bookworm (stable) / Källkod / science / maude

[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Länkar för maude

Debianresurser:

• Felrapporter
• Developer Information
• Ändringslogg för Debian
• Upphovsrättsfil
• Debians källkodsarkiv (Git)
• Debian Patch Tracker

Ansvariga:

• Debian Med Packaging Team (QA-sida, E-postarkiv)
• Scott Christley (QA-sida)
• Andreas Tille (QA-sida)

Externa resurser:

• Hemsida [maude.cs.uiuc.edu]

Följande binärpaket byggs från detta källkodspaket:

maude

high-performance logical framework

Andra paket besläktade med maude

bygg-beroende

arkitekturoberoende bygg-beroende

• adep: debhelper-compat (= 13)

  Paketet inte tillgängligt

• adep: libtecla-dev

  interactive command line editing facilities (development)

• adep: libbdd-dev

  Binary decision-diagram library (development)

• adep: libgmp3-dev

  Multiprecision arithmetic library developers tools

• adep: libsigsegv-dev

  Library for handling page faults in a portable way development package

• adep: bison

  YACC-compatible parser generator

• adep: flex

  fast lexical analyzer generator

• adep: libncurses5-dev

  transitional package for libncurses-dev

• adep: libcvc4-dev

  automated theorem prover for SMT problems (development files)

Download maude

Fil	Storlek (i kbyte)	MD5-kontrollsumma
maude_3.2-2.dsc	2,0 kbyte	ecf0b9448155caa44b33fadb726b0440
maude_3.2.orig.tar.gz	2.349,4 kbyte	ae61270e9e08a0248d3e01827179f288
maude_3.2-2.debian.tar.xz	7,1 kbyte	2eeddd9d7bd20cb0ac35a8b2ac33aeb3

Debians paketkällkodsarkiv- (VCS: Git)

https://salsa.debian.org/med-team/maude.git

Debians paketkällkodsarkiv (blädderbart)

https://salsa.debian.org/med-team/maude