Package Details: eunomia-bin 1.0.3-1

Git Clone URL: https://aur.archlinux.org/eunomia-bin.git (read-only, click to copy)
Package Base: eunomia-bin
Description: FOL proof checker
Upstream URL: https://github.com/Girjoaba/Eunomia
Licenses: MIT
Conflicts: eunomia
Provides: eunomia
Submitter: confestim
Maintainer: confestim
Last Packager: confestim
Votes: 0
Popularity: 0.000000
First Submitted: 2023-09-06 14:15 (UTC)
Last Updated: 2023-10-03 11:04 (UTC)

Dependencies (2)

Required by (0)

Sources (1)