Package Search Help

You can use boolean logic (e.g. AND/OR/NOT) for complex search queries. For more help and examples, see the search documentation.

Search by package name:
my-package (implicit)
name:my-package (explicit)

Search by package filename:
filename:my-package.ext 

Search by package tag:
tag:latest 

Search by package version:
version:1.0.0  prerelease:true (prereleases)
prerelease:false (no prereleases)

Search by package architecture:
architecture:x86_64 

Search by package distribution:
distribution:el 

Search by package license:
license:MIT 

Search by package format:
format:deb 

Search by package status:
status:in_progress 

Search by package file checksum:
checksum:5afba 

Search by package security status:
severity:critical 

Search by package vulnerabilities:
vulnerabilities:>1 
vulnerabilities:<1000 

Search by # of package downloads:
downloads:>8 
downloads:<100 

Search by package type:
type:binary 
type:source 

Search by package size (bytes):
size:>50000 
size:<10000 

Search by dependency name/version:
dependency:log4j 
dependency:log4j=1.0.0 
dependency:log4j>1.0.0 

Search by uploaded date:
uploaded:>"1 day ago" 
uploaded:<"August 14, 2022 EST" 

Search by entitlement token (identifier):
entitlement:3lKPVJPosCsY 

Search by policy violation:
policy_violated:true
deny_policy_violated:true
license_policy_violated:true
vulnerability_policy_violated:true

Search by repository:
repository:repo-name

Search by last download date:
last_downloaded:<"30 days ago" 
last_downloaded:>"August 14, 2022 EST" 

Search queries for all Debian-specific (and related) package types

Search by component:
deb_component:unstable

Search queries for all Maven-specific (and related) package types

Search by group ID:
maven_group_id:org.apache

Search queries for all Docker-specific (and related) package types

Search by image digest:
docker_image_digest:sha256:7c5..6d4
(full hashref only)

Search by layer digest:
docker_layer_digest:sha256:4c4..ae4
(full hashref only)

Field type modifiers (depending on the type, you can influence behaviour)

For all queries, you can use:
~foo for negation

For string queries, you can use:
^foo to anchor to start of term
foo$ to anchor to end of term
foo*bar for fuzzy matching

For number/date or version queries, you can use:
>foo for values greater than
>=foo for values greater / equal
<foo for values less than
<=foo for values less / equal

Need a secure and centralised artifact repository to deliver Alpine, Cargo, CocoaPods, Composer, Conan, Conda, CRAN, Dart, Debian, Docker, Go, Helm, Hex, HuggingFace, LuaRocks, Maven, npm, NuGet, P2, Python, RedHat, Ruby, Swift, Terraform, Vagrant, Raw & More packages?

Cloudsmith is the new standard in Package / Artifact Management and Software Distribution.

With support for all major package formats, you can trust us to manage your software supply chain.

Start My Free Trial
Set Me Up
 Open-Source — ultimaker ultimaker (Ultimaker) / debian-backup — Project
A certifiably-awesome open-source package repository curated by Ultimaker, hosted by Cloudsmith.
Note: Packages in this repository are licensed as GNU General Public License v3.0 or later (dependencies may be licensed differently).
Packages 87951 Package Groups 56001 Public Keys

Debian logo maude  2.7-2+b2

Download

One-liner (summary)

high-performance logical framework

Description

Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation.

Rewriting logic is a logic of concurrent change that can naturally deal with state and with concurrent computations. It has good properties as a general semantic framework for giving executable semantics to a wide range of languages and models of concurrency. In particular, it supports very well concurrent object-oriented computation. The same reasons making rewriting logic a good semantic framework make it also a good logical framework, that is, a metalogic in which many other logics can be naturally represented and executed.

Maude supports in a systematic and efficient way logical reflection. This makes Maude remarkably extensible and powerful, supports an extensible algebra of module composition operations, and allows many advanced metaprogramming and metalanguage applications. Indeed, some of the most interesting applications of Maude are metalanguage applications, in which Maude is used to create executable environments for different logics, theorem provers, languages, and models of computation.

Maude is of interest to the biomedical community for modeling and analysis of biological systems.

License

Unknown

Size

667.6 KB

Downloads

0

Tags

debian/buster deb armhf main latest

Status  Completed
Checksum (MD5) 565e56da70f621741564f3c76016054e
Checksum (SHA-1) 41e71b282416afd0b3a48a3b21012a55124042f0
Checksum (SHA-256) 0d347ff083e7b40bee836e75edf1e96e62bc3a2eaf6773c46de8edb0bd1b8543
Checksum (SHA-512) 1f6f5b091104ae7c5d3a24cae7a218d38a38312bcf2d68d1d03e99c24b4306b58c…
GPG Signature
Download
GPG Fingerprint c0a114330029b468b1146f70c334efcb2c4f9be3
Distribution debian/buster - Debian - 10 (Buster)
Storage Region  Dublin, Ireland
Type  Binary (contains binaries and binary artifacts)
Uploaded At 7 months, 2 weeks ago
Uploaded By alex-borro
Slug Id maude_27-2b2_armhfdeb-i3jc
Unique Id RyWlmwVLBjrN
Version (Raw) 2.7-2+b2
Version (Parsed)
  • Major: 2
  • Minor: 7
  • Pre (Str): (empty)
  • Pre (Num Array): 2
  • Type: SemVer (Compat)
  • Metadata: b2
  extended metadata
Homepage http://maude.cs.uiuc.edu
Installed Size 1.5 MB
Maintainer Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Priority optional
Section science
Source maude (2.7-2)
pkg maude_2.7-2+b2_armhf.deb 0
667.6 KB 		md5 sha1 sha256 sha512
Package Contents (maude_2.7-2+b2_armhf.deb)
Loading...

This package has 22 files/directories.

Dependencies

10

Checksum (md5)

29f77d1e15b4b9f783481c3f9250dd2d

Depends
libbdd0c2
Depends
libc6 >=2.16
Depends
libgcc1 >=1:3.5
Depends
libgmp10
Depends
libgmpxx4ldbl
Depends
libncurses6 >=6
Depends
libsigsegv2 >=2.9
Depends
libstdc++6 >=5.2
Depends
libtecla1
Depends
libtinfo6 >=6
Loading...

You can embed a badge in another website that shows this or the latest version of this package.

To embed the badge for this specific package version, use the following: 

[![This version of 'maude' @ Cloudsmith](https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/maude/2.7-2+b2/a=armhf;xc=main;d=debian%252Fbuster;t=binary/?render=true)](https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/maude/2.7-2+b2/a=armhf;xc=main;d=debian%252Fbuster;t=binary/)
|This version of 'maude' @ Cloudsmith|
.. |This version of 'maude' @ Cloudsmith| image:: https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/maude/2.7-2+b2/a=armhf;xc=main;d=debian%252Fbuster;t=binary/?render=true
   :target: https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/maude/2.7-2+b2/a=armhf;xc=main;d=debian%252Fbuster;t=binary/
image::https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/maude/2.7-2+b2/a=armhf;xc=main;d=debian%252Fbuster;t=binary/?render=true[link="https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/maude/2.7-2+b2/a=armhf;xc=main;d=debian%252Fbuster;t=binary/",title="This version of 'maude' @ Cloudsmith"]
<a href="https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/maude/2.7-2+b2/a=armhf;xc=main;d=debian%252Fbuster;t=binary/"><img src="https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/maude/2.7-2+b2/a=armhf;xc=main;d=debian%252Fbuster;t=binary/?render=true" alt="This version of 'maude' @ Cloudsmith" /></a>

rendered as: This version of 'maude' @ Cloudsmith

To embed the badge for the latest package version, use the following: 

[![Latest version of 'maude' @ Cloudsmith](https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/maude/latest/a=armhf;xc=main;d=debian%252Fbuster;t=binary/?render=true&show_latest=true)](https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/maude/latest/a=armhf;xc=main;d=debian%252Fbuster;t=binary/)
|Latest version of 'maude' @ Cloudsmith|
.. |Latest version of 'maude' @ Cloudsmith| image:: https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/maude/latest/a=armhf;xc=main;d=debian%252Fbuster;t=binary/?render=true&show_latest=true
   :target: https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/maude/latest/a=armhf;xc=main;d=debian%252Fbuster;t=binary/
image::https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/maude/latest/a=armhf;xc=main;d=debian%252Fbuster;t=binary/?render=true&show_latest=true[link="https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/maude/latest/a=armhf;xc=main;d=debian%252Fbuster;t=binary/",title="Latest version of 'maude' @ Cloudsmith"]
<a href="https://cloudsmith.io/~ultimaker/repos/debian-backup/packages/detail/deb/maude/latest/a=armhf;xc=main;d=debian%252Fbuster;t=binary/"><img src="https://api.cloudsmith.com/v1/badges/version/ultimaker/debian-backup/deb/maude/latest/a=armhf;xc=main;d=debian%252Fbuster;t=binary/?render=true&show_latest=true" alt="Latest version of 'maude' @ Cloudsmith" /></a>

rendered as: Latest version of 'maude' @ Cloudsmith

These instructions assume you have setup the repository first (or read it).

To install/use maude @ version 2.7-2+b2 ...

To install packages, you can quickly setup the repository automatically (recommended): 

curl -1sLf \
  'https://dl.cloudsmith.io/public/ultimaker/debian-backup/setup.deb.sh' \
  | sudo -E bash

If you need to force a specific distribution, release/version, architecture, or component (if supported), you can also do that (e.g. if your system is compatible but not identical): 

curl -1sLf \
  'https://dl.cloudsmith.io/public/ultimaker/debian-backup/setup.deb.sh' \
  | sudo -E distro=debian codename=buster arch=ARCH component=COMPONENT bash

or ... you can manually configure it yourself before installing packages: 

apt-get install -y debian-keyring  # debian only
apt-get install -y debian-archive-keyring  # debian only
apt-get install -y apt-transport-https
# For Debian Stretch, Ubuntu 16.04 and later
keyring_location=/usr/share/keyrings/ultimaker-debian-backup-archive-keyring.gpg
# For Debian Jessie, Ubuntu 15.10 and earlier
keyring_location=/etc/apt/trusted.gpg.d/ultimaker-debian-backup.gpg
curl -1sLf 'https://dl.cloudsmith.io/public/ultimaker/debian-backup/gpg.C334EFCB2C4F9BE3.key' |  gpg --dearmor >> ${keyring_location}
curl -1sLf 'https://dl.cloudsmith.io/public/ultimaker/debian-backup/config.deb.txt?distro=debian&codename=buster&component=main' > /etc/apt/sources.list.d/ultimaker-debian-backup.list
sudo chmod 644 ${keyring_location}
sudo chmod 644 /etc/apt/sources.list.d/ultimaker-debian-backup.list
apt-get update
sudo apt-get install maude=2.7-2+b2
Warning: Note that this package is for Debian 10 (Buster) / armhf and may only work for that configuration.
Still stuck? Need help? Don't panic. Just contact us for help (even if you're not a customer).
Previous Version: 2.7-2+b2
Next Version: 2.7-2+b2
Top