📦 mercury

10 pages

C

  • c2init(1)Create Mercury initialization file.✨

M

  • mdb(1)Mercury debugger✨
  • mercury_config(1)generate new configurations for a Mercury installation✨
  • mgnuc(1)Mercury front-end to GNU C✨
  • ml(1)handy command interface to the Modules package✨
  • mmake(1)generate a Java Makefile✨
  • mmc(1)a tool for configuring MMC storage devices✨
  • mprof(1)Mercury profiler, version 22.01.8, on x86_64-alpine-linux-musl✨
  • mprof_merge_runs(1)Mercury profiling utility✨
  • mtags(1)generate tag files for Mercury source code✨