about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
diff options
context:
space:
mode:
authorFabian Affolter <fabian@affolter-engineering.ch>2024-01-19 10:24:09 +0100
committerGitHub <noreply@github.com>2024-01-19 10:24:09 +0100
commit8938b027694c3df872932b32650655e5c5815647 (patch)
tree0827dab691446c251a302e035ba36f7401bacd25 /pkgs/development/coq-modules
parentee2771e8cbed5280409ca69faedfdf4396147b6a (diff)
parentfa63ccce212167d22d572f0f11a99f5f1685e875 (diff)
downloadnixlib-8938b027694c3df872932b32650655e5c5815647.tar
nixlib-8938b027694c3df872932b32650655e5c5815647.tar.gz
nixlib-8938b027694c3df872932b32650655e5c5815647.tar.bz2
nixlib-8938b027694c3df872932b32650655e5c5815647.tar.lz
nixlib-8938b027694c3df872932b32650655e5c5815647.tar.xz
nixlib-8938b027694c3df872932b32650655e5c5815647.tar.zst
nixlib-8938b027694c3df872932b32650655e5c5815647.zip
Merge pull request #281970 from fabaff/bthome-ble-bump
python311Packages.bthome-ble: 3.4.1 -> 3.5.0
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions