fmt

Madx

Feb 2, 2026, 10:41 PM

RBBP6JVXDP2IQZ5IOUIF43ZC3MMWFGH77RHC7MUFYGEJS64UDAEAC

Dependencies

• [2] 6L3I3N6V adding cowsay shell example

Change contents

• edit in examples/cowsay/shell.ml at line 9
  [2.181]

  [2.181]
  +
• edit in examples/cowsay/shell.ml at line 11
  [2.203]→[2.203:244](∅→∅)
  − print_endline "Starting setup";
• replacement in examples/cowsay/shell.ml at line 12
  [2.294]→[2.294:344](∅→∅)
  − let outdir = (List.hd package.destdir) in
  [2.294]

  [2.344]
  + let outdir = List.hd package.destdir in
• replacement in examples/cowsay/shell.ml at line 14
  [2.419]→[2.419:506](∅→∅)
  − let change_cowpath = "export COWPATH=" ^ outdir ^ "/usr/share/cowsay/cows/" in
  [2.419]

  [2.506]
  + let change_cowpath =

  + "export COWPATH=" ^ outdir ^ "/usr/share/cowsay/cows/"

  + in
• replacement in examples/cowsay/shell.ml at line 19
  [2.571]→[2.571:599](∅→∅)
  − in build deriv

  −

  −
  [2.571]
  + in

  + build deriv