diff options
author | Julien Lepiller <julien@lepiller.eu> | 2022-04-08 15:22:52 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2022-04-11 11:56:23 +0200 |
commit | 76a416bf042e41bcf67f453dc024e06a4ebceeb9 (patch) | |
tree | c97d37111a7adc2fefc3f15223b2fa58e73a116b /gnu/packages/idris.scm | |
parent | 6f8ae2b2b9fbe851322669875759c647b4332c00 (diff) | |
download | guix-patches-76a416bf042e41bcf67f453dc024e06a4ebceeb9.tar guix-patches-76a416bf042e41bcf67f453dc024e06a4ebceeb9.tar.gz |
gnu: Add ocaml-bin-prot.
* gnu/packages/ocaml.scm (ocaml-bin-prot): New variable.
(ocaml4.07-bin-prot): Inherit from it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions