BSD Portslang/maude 2.6nb1 NetBSD
System for equational and rewriting logic specification/programming
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- License
- gnu-gpl-v2
- Categories
- lang
- Package size
- 771.6 KiB, 2365.4 KiB installed
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.
In the other systems
The newest version among them is 2.7.1, as upstream numbers it.
| System | Port | Version | Vulnerabilities | Status | Maintainer | Last update |
|---|---|---|---|---|---|---|
| NetBSD | lang/maude | 2.6nb1 | none known | - | [email protected] | - |
| FreeBSD | lang/maude | 2.7.1_2 newest | none known | - | [email protected] | - |
| DragonFly | lang/maude | 2.7.1_2 newest | none known | - | [email protected] | - |
| HardenedBSD | lang/maude | 2.7.1_2 newest | no data | - | [email protected] | - |
| GhostBSD | lang/maude | 2.7.1_2 newest | no data | - | [email protected] | - |
Install
Binary package:
pkgin install maudeFrom pkgsrc:
cd /usr/pkgsrc/lang/maude && make install cleanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | Version |
|---|---|
| NetBSD 10.1 x86_64 | 2.6nb1 |
| NetBSD 10.1 aarch64 | 2.6nb1 |
| SmartOS / illumos x86_64 | - |
| macOS 15 arm64 | - |
Dependency graph
Ports that need it on the left, what it needs to run on the right; at most 8 of each. "Dependencies" below lists them all.
Dependencies
Run dependencies 4
No port depends on this one.