Why Gemfury?
Push, build, and install
RubyGems
npm packages
Python packages
Maven artifacts
PHP packages
Go Modules
Debian packages
RPM packages
NuGet packages
cuerdos
cuerdos / github-desktop deb
Repository URL to install this package:
|
Version:
3.4.9-linux1 ▾
|
github-desktop
/
usr
/
lib
/
github-desktop
/
resources
/
app
/
static
/
gitignore
/
Idris.gitignore
|
|---|
# Idris 2
*.ttc
*.ttm
# Idris 1
*.ibc
*.o