;; /tmp/bigloo/api/patch/src
;; Thu Jul  4 08:11:09 2019

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

