about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
diff options
context:
space:
mode:
authorLin Jian <me@linj.tech>2023-11-26 20:41:10 -0600
committerGitHub <noreply@github.com>2023-11-26 20:41:10 -0600
commitfbbbcfb8792ed4787f5e45c7f38902c897e7bb77 (patch)
tree04801aa7dc97f65be5cad3855b2f122e073a7736 /pkgs/development/coq-modules
parentb1c1589abd5b790893d79d1c31bb2285c288dc2a (diff)
parent7a363cef5fde13b484019ef342dbdd91c30b3200 (diff)
downloadnixlib-fbbbcfb8792ed4787f5e45c7f38902c897e7bb77.tar
nixlib-fbbbcfb8792ed4787f5e45c7f38902c897e7bb77.tar.gz
nixlib-fbbbcfb8792ed4787f5e45c7f38902c897e7bb77.tar.bz2
nixlib-fbbbcfb8792ed4787f5e45c7f38902c897e7bb77.tar.lz
nixlib-fbbbcfb8792ed4787f5e45c7f38902c897e7bb77.tar.xz
nixlib-fbbbcfb8792ed4787f5e45c7f38902c897e7bb77.tar.zst
nixlib-fbbbcfb8792ed4787f5e45c7f38902c897e7bb77.zip
Merge pull request #264661 from schoettl/dolibarr-with-package
nixos/dolibarr: add package option
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions