aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
blob: 877e841b205b3d9623f2f365f0dbde23eec73f34 (about) (plain)
blob size (213KB) exceeds display size limit (100KB).
generated by cgit
mus 2019-12-25gnu: Add axoloti-patcher-next....* gnu/packages/axoloti.scm (axoloti-patcher-next): New variable. Ricardo Wurmus 2019-12-25gnu: axoloti-patcher, axoloti-runtime: Update to 1.0.12-2....* gnu/packages/axoloti.scm (axoloti-patcher, axoloti-runtime): Update to 1.0.12-2. Ricardo Wurmus 2019-10-05gnu: axoloti-runtime: Don't use unstable tarball....* gnu/packages/axoloti.scm (axoloti-runtime)[source]: Use GIT-FETCH and GIT-FILE-NAME. (axoloti-patcher)[arguments]: Add ‘make-git-checkout-writable’ phase. Tobias Geerinckx-Rice 2019-01-24gnu: axoloti-patcher: Use INVOKE....* gnu/packages/axoloti.scm (axoloti-patcher)[arguments]: Use INVOKE and unconditionally return #T from build phase. Ricardo Wurmus 2019-01-24gnu: axoloti-runtime: Use INVOKE....* gnu/packages/axoloti.scm (axoloti-runtime)[arguments]: Use INVOKE and return #T from build phases unconditionally. Ricardo Wurmus