Package Details: lem-git 2018.07.13.r0.g5056134-1

Git Clone URL: https://aur.archlinux.org/lem-git.git (read-only)
Package Base: lem-git
Description: Lem semantic definition language
Upstream URL: https://github.com/rems-project/lem
Licenses: MIT
Submitter: emersion
Maintainer: emersion
Last Packager: emersion
Votes: 0
Popularity: 0.000000
First Submitted: 2018-04-23 14:07
Last Updated: 2018-07-27 12:21

Latest Comments

emersion commented on 2018-07-27 12:19

It may be necessary to run this command due to the location of dllzarith.so: export CAML_LD_LIBRARY_PATH=/usr/lib/ocaml/zarith