diff options
| author | Guillaume Girol <symphorien@users.noreply.github.com> | 2021-07-26 19:45:46 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-26 19:45:46 +0000 |
| commit | 455712841c00c0637f744396c0fe2c609b5364e1 (patch) | |
| tree | 99c0076a1137fcba9ff313f2939cd49d2088b082 /pkgs/data | |
| parent | b27f145c81e181723304cb7c2972f025b5d5e775 (diff) | |
| parent | 1894e8d9452640610c531a31186261b97d5d8f1c (diff) | |
| download | nixpkgs-455712841c00c0637f744396c0fe2c609b5364e1.tar nixpkgs-455712841c00c0637f744396c0fe2c609b5364e1.tar.gz nixpkgs-455712841c00c0637f744396c0fe2c609b5364e1.tar.bz2 nixpkgs-455712841c00c0637f744396c0fe2c609b5364e1.tar.lz nixpkgs-455712841c00c0637f744396c0fe2c609b5364e1.tar.xz nixpkgs-455712841c00c0637f744396c0fe2c609b5364e1.tar.zst nixpkgs-455712841c00c0637f744396c0fe2c609b5364e1.zip | |
Merge pull request #130663 from symphorien/bitwuzla
bitwuzla: init at unstable-2021-07-01
Diffstat (limited to 'pkgs/data')
0 files changed, 0 insertions, 0 deletions