diff options
| author | Niklas Hambüchen <mail@nh2.me> | 2020-03-20 01:28:05 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-20 01:28:05 +0100 |
| commit | 1161c96a203ebd7be334fec975b654f16617df7f (patch) | |
| tree | c94f97b6bce8acf451e24f46c62181239598de41 /pkgs/applications/science/logic/hol_light | |
| parent | facf905fdd0473b70816bf244aa9dd0319756580 (diff) | |
| parent | 16088585c986aeb495f88bb5bb621c7f943bc0eb (diff) | |
| download | nixpkgs-1161c96a203ebd7be334fec975b654f16617df7f.tar nixpkgs-1161c96a203ebd7be334fec975b654f16617df7f.tar.gz nixpkgs-1161c96a203ebd7be334fec975b654f16617df7f.tar.bz2 nixpkgs-1161c96a203ebd7be334fec975b654f16617df7f.tar.lz nixpkgs-1161c96a203ebd7be334fec975b654f16617df7f.tar.xz nixpkgs-1161c96a203ebd7be334fec975b654f16617df7f.tar.zst nixpkgs-1161c96a203ebd7be334fec975b654f16617df7f.zip | |
Merge pull request #81176 from clkamp/aqbanking-6.1.1
Update Aqbanking to 6.1.1
Diffstat (limited to 'pkgs/applications/science/logic/hol_light')
0 files changed, 0 insertions, 0 deletions