galeksandrp/choco-packages

Zimmermann's Chocolatey Packages

Zimmermann's Chocolatey packages

Automated Windows software management

chocolatey.org/profiles/userzimmermann

Git repository:

• github.com/userzimmermann/choco-packages
• gitlab.com/userzimmermann/choco-packages

Hg repository: bitbucket.org/userzimmermann/choco-packages

[msys2] MSYS2

A Cygwin-derived software distro for Windows using Arch Linux's Pacman

Git branch:

• github.com/userzimmermann/choco-packages/tree/msys2
• gitlab.com/userzimmermann/choco-packages/tree/msys2

Hg branch: bitbucket.org/userzimmermann/choco-packages/src/msys2

[idris] Idris

A Dependently Typed Functional Programming Language

Git branch:

• github.com/userzimmermann/choco-packages/tree/idris
• gitlab.com/userzimmermann/choco-packages/tree/idris

Hg branch: bitbucket.org/userzimmermann/choco-packages/src/idris