summary refs log tree commit diff
path: root/pkgs/development/coq-modules/serapi
diff options
context:
space:
mode:
authorMartin Weinelt <hexa@darmstadt.ccc.de>2023-09-08 10:57:39 +0200
committerMartin Weinelt <hexa@darmstadt.ccc.de>2023-09-08 10:58:05 +0200
commitb3da5e68a18f456ec57d9b1ea16713ba9d041d6c (patch)
treed169868b1c72f0835278cbef4f68b1d3f711c7db /pkgs/development/coq-modules/serapi
parente40439b029cd0ac25aebac8e3d101b5a6a604d0e (diff)
downloadnixpkgs-b3da5e68a18f456ec57d9b1ea16713ba9d041d6c.tar
nixpkgs-b3da5e68a18f456ec57d9b1ea16713ba9d041d6c.tar.gz
nixpkgs-b3da5e68a18f456ec57d9b1ea16713ba9d041d6c.tar.bz2
nixpkgs-b3da5e68a18f456ec57d9b1ea16713ba9d041d6c.tar.lz
nixpkgs-b3da5e68a18f456ec57d9b1ea16713ba9d041d6c.tar.xz
nixpkgs-b3da5e68a18f456ec57d9b1ea16713ba9d041d6c.tar.zst
nixpkgs-b3da5e68a18f456ec57d9b1ea16713ba9d041d6c.zip
home-assistant: pin zeroconf at 0.91.1
Diffstat (limited to 'pkgs/development/coq-modules/serapi')
0 files changed, 0 insertions, 0 deletions