hoppa över navigationen

Packages

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

 / Paket / sid (unstable) / 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: libncurses-dev

  developer's libraries for ncurses

• adep: libcvc4-dev

  automated theorem prover for SMT problems (development files)

Download maude

Fil	Storlek (i kbyte)	MD5-kontrollsumma
maude_3.4-1.dsc	1,4 kbyte	b5bf1b95c73d39781a97482170561b0f
maude_3.4.orig.tar.gz	2.598,6 kbyte	97c92148c42d6b78efc645d64f00e910
maude_3.4-1.debian.tar.xz	6,4 kbyte	0421b2f2d2854aa2d3d3cd0acdd4b824

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