diff options
| author | Jan van Brügge <supermanitu@gmail.com> | 2021-12-31 13:00:43 +0100 |
|---|---|---|
| committer | Jan van Brügge <supermanitu@gmail.com> | 2021-12-31 13:00:43 +0100 |
| commit | d3e2cf4314a844a289ff167f9b0cb3ad3a7b7dda (patch) | |
| tree | 17ce05e171cbacf341da713dd7637e3b23170084 /pkgs/applications/science/logic/isabelle | |
| parent | 94e02e6567c411062a297ff1bef399953fb3c758 (diff) | |
| download | nixpkgs-d3e2cf4314a844a289ff167f9b0cb3ad3a7b7dda.tar nixpkgs-d3e2cf4314a844a289ff167f9b0cb3ad3a7b7dda.tar.gz nixpkgs-d3e2cf4314a844a289ff167f9b0cb3ad3a7b7dda.tar.bz2 nixpkgs-d3e2cf4314a844a289ff167f9b0cb3ad3a7b7dda.tar.lz nixpkgs-d3e2cf4314a844a289ff167f9b0cb3ad3a7b7dda.tar.xz nixpkgs-d3e2cf4314a844a289ff167f9b0cb3ad3a7b7dda.tar.zst nixpkgs-d3e2cf4314a844a289ff167f9b0cb3ad3a7b7dda.zip | |
verit: 2016 -> 2021.06.2
Diffstat (limited to 'pkgs/applications/science/logic/isabelle')
0 files changed, 0 insertions, 0 deletions