{"added":null,"apiVersion":1,"behindSince":null,"buildDepends":[],"categories":["lang"],"comment":"System for equational and rewriting logic specification/programming","compare":"/compare/maude/index.json","dependentCount":null,"description":"Maude is a high-performance reflective language and system supporting both\nequational and rewriting logic specification and programming for a wide\nrange of applications.\nMaude has been influenced in important ways by the OBJ3 language, which can\nbe regarded as an equational logic sublanguage.\nBesides supporting equational specification and programming, Maude also\nsupports rewriting logic computation.","flavors":[],"html":"https://daemonports.org/netbsd/lang/maude/","kind":"port","lastUpdate":null,"license":["gnu-gpl-v2"],"maintainer":"pkgsrc-users@NetBSD.org","name":"maude","newest":false,"newestVersion":"2.7.1","noVulnData":false,"origin":"lang/maude","otherSystems":[{"maintainer":"ports@FreeBSD.org","newest":true,"origin":"lang/maude","path":"/lang/maude/","system":"FreeBSD","version":"2.7.1_2"},{"maintainer":"ports@FreeBSD.org","newest":true,"origin":"lang/maude","path":"/dragonfly/lang/maude/","system":"DragonFly","version":"2.7.1_2"},{"maintainer":"ports@FreeBSD.org","newest":true,"noVulnData":true,"origin":"lang/maude","path":"","system":"HardenedBSD","version":"2.7.1_2"},{"maintainer":"ports@FreeBSD.org","newest":true,"noVulnData":true,"origin":"lang/maude","path":"","system":"GhostBSD","version":"2.7.1_2"}],"packages":[{"repo":"NetBSD 10.1 x86_64","versions":["2.6nb1"]},{"repo":"NetBSD 10.1 aarch64","versions":["2.6nb1"]},{"repo":"SmartOS / illumos x86_64","versions":["-"]},{"repo":"macOS 15 arm64","versions":["-"]}],"pkgName":"maude-2.6nb1","related":null,"repository":"pkgsrc","requiredBy":[],"requiredByCount":0,"runDepends":["devel/buddy","devel/gmp","devel/libsigsegv","devel/libtecla"],"status":null,"system":"netbsd","systemLabel":"NetBSD","version":"2.6nb1","versions":null,"vulnerabilities":null,"www":"https://maude.cs.illinois.edu/"}