;; /tmp/bigloo/api/patch/src
;; Tue Dec 18 14:27:16 2018

(
  (__patch_patch "bigloo.patch.patch")
  (__patch_makelib "bigloo.patch.make_lib")
)

