(executable
 (name calculus)
 (libraries pac_common pubgrub))