summary refs log tree commit diff
path: root/pkgs/development/coq-modules/coq-elpi
diff options
context:
space:
mode:
authorLassulus <github@lassul.us>2020-06-04 08:56:08 +0200
committerGitHub <noreply@github.com>2020-06-04 08:56:08 +0200
commit01af00f7802e4a5a5fbe2392953de08dcad28cb6 (patch)
tree8e48cf2c47cf344d742151597619c7e7609201d5 /pkgs/development/coq-modules/coq-elpi
parent384cf8788b164bcfe8e10a97600dc7f53c693fdf (diff)
parente0c0c1f08328a932fcc69bdf14c509646fd912c4 (diff)
downloadnixpkgs-01af00f7802e4a5a5fbe2392953de08dcad28cb6.tar
nixpkgs-01af00f7802e4a5a5fbe2392953de08dcad28cb6.tar.gz
nixpkgs-01af00f7802e4a5a5fbe2392953de08dcad28cb6.tar.bz2
nixpkgs-01af00f7802e4a5a5fbe2392953de08dcad28cb6.tar.lz
nixpkgs-01af00f7802e4a5a5fbe2392953de08dcad28cb6.tar.xz
nixpkgs-01af00f7802e4a5a5fbe2392953de08dcad28cb6.tar.zst
nixpkgs-01af00f7802e4a5a5fbe2392953de08dcad28cb6.zip
Merge pull request #89101 from tasmo/bitwig-studio-3.1.3
bitwig-studio3: 3.1.2 -> 3.1.3
Diffstat (limited to 'pkgs/development/coq-modules/coq-elpi')
0 files changed, 0 insertions, 0 deletions