nixsearch / pkg / haskellPackages.agda2lagda / 0.2021.6.1
haskellPackages.agda2lagda 0.2021.6.1
Translate .agda files into .lagda.tex files.
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.agda2lagda@0.2021.6.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit4e6868b1aa3766ab1de169922bb3826143941973
$ nix shell github:NixOS/nixpkgs/4e6868b1aa3766ab1de169922bb3826143941973#haskellPackages.agda2lagda
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.agda2lagda |
4e6868b1aa37 | out/nix/store/9d5jdyqrm5jc6h901kylynyqg069qjvz-agda2lagda-0.2021.6.1 doc (not default)/nix/store/hkc5lkgzc0w90g42i3f99g06cvlj5n20-agda2lagda-0.2021.6.1-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.agda2lagda |
4e6868b1aa37 | out/nix/store/dw806vk9ksx8sdhjwsx8w5jh7jxsrwm9-agda2lagda-0.2021.6.1 doc (not default)/nix/store/vn5nvj1765h8sbwyi0vg1v0vc57ni75i-agda2lagda-0.2021.6.1-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.agda2lagda |
4e6868b1aa37 | out/nix/store/8r2h0gkiijh7w069b7k1hnbyqdwji41s-agda2lagda-0.2021.6.1 doc (not default)/nix/store/vgakryj8l1zpay21zjh8c3a99mx1axbj-agda2lagda-0.2021.6.1-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.agda2lagda |
4e6868b1aa37 | out/nix/store/2gxxc8067pawfgmdcf3p2v0bh90qfzw7-agda2lagda-0.2021.6.1 doc (not default)/nix/store/7a5wx8bkfnw47vi7lqh4prc0x9wk90za-agda2lagda-0.2021.6.1-doc |
JSON: /v2/pkg?name=haskellPackages.agda2lagda · /v2/resolve?name=haskellPackages.agda2lagda&version=0.2021.6.1