summary refs log tree commit diff
path: root/pkgs/development/coq-modules
diff options
context:
space:
mode:
authorPascal Wittmann <mail@pascal-wittmann.de>2019-01-30 10:47:22 +0100
committerGitHub <noreply@github.com>2019-01-30 10:47:22 +0100
commit4a200fbbf0a26c55e5ecb280cf173569bd813197 (patch)
treec32a69ac4354d4f1862f51f1fcb919ef9b8c7ee3 /pkgs/development/coq-modules
parentdfc8ec8da7dac4096a2c2311de5acf6a8b2a9b19 (diff)
parent8e0832ff79222f104885fa3c0ed797e8ce6f1d1a (diff)
downloadnixpkgs-4a200fbbf0a26c55e5ecb280cf173569bd813197.tar
nixpkgs-4a200fbbf0a26c55e5ecb280cf173569bd813197.tar.gz
nixpkgs-4a200fbbf0a26c55e5ecb280cf173569bd813197.tar.bz2
nixpkgs-4a200fbbf0a26c55e5ecb280cf173569bd813197.tar.lz
nixpkgs-4a200fbbf0a26c55e5ecb280cf173569bd813197.tar.xz
nixpkgs-4a200fbbf0a26c55e5ecb280cf173569bd813197.tar.zst
nixpkgs-4a200fbbf0a26c55e5ecb280cf173569bd813197.zip
Merge pull request #54895 from Nadrieril/update-bitlbee-facebook
bitlbee-facebook: 1.1.2 -> 1.2.0
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions