about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
diff options
context:
space:
mode:
authorJakob Schöttl <jschoett@gmail.com>2023-10-31 20:39:35 +0100
committerJakob Schöttl <jschoett@gmail.com>2023-11-01 08:50:36 +0100
commit7a363cef5fde13b484019ef342dbdd91c30b3200 (patch)
treec35f7aa8f5781fc2cf61f877b97bd0f5425455f7 /pkgs/development/coq-modules
parent9f689d42a7bb21f28fb2189f4c566f203ab009ad (diff)
downloadnixlib-7a363cef5fde13b484019ef342dbdd91c30b3200.tar
nixlib-7a363cef5fde13b484019ef342dbdd91c30b3200.tar.gz
nixlib-7a363cef5fde13b484019ef342dbdd91c30b3200.tar.bz2
nixlib-7a363cef5fde13b484019ef342dbdd91c30b3200.tar.lz
nixlib-7a363cef5fde13b484019ef342dbdd91c30b3200.tar.xz
nixlib-7a363cef5fde13b484019ef342dbdd91c30b3200.tar.zst
nixlib-7a363cef5fde13b484019ef342dbdd91c30b3200.zip
nixos/dolibarr: add package option
Allow users to easily use a different dolibarr version, e.g. version 18
(currently in unstable) instead of 16.
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions