Logo
Explore Help
Sign In
public/nixpkgs
1
0
Fork 0
You've already forked nixpkgs
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
ec334d38d258f677c249e4f757a9a159ba6cb569
nixpkgs/pkgs/development/libraries/agda
History
James Wood 9934f0bb51 AgdaStdlib: 0.15 -> 0.16 (#44550)
2018-08-06 18:39:11 +02:00
..
agda-base
pkgs: refactor needless quoting of homepage meta attribute (#27809)
2017-08-01 22:03:30 +02:00
agda-iowa-stdlib
pkgs: refactor needless quoting of homepage meta attribute (#27809)
2017-08-01 22:03:30 +02:00
agda-prelude
pkgs: refactor needless quoting of homepage meta attribute (#27809)
2017-08-01 22:03:30 +02:00
Agda-Sheaves
pkgs: refactor needless quoting of homepage meta attribute (#27809)
2017-08-01 22:03:30 +02:00
agda-stdlib
AgdaStdlib: 0.15 -> 0.16 (#44550)
2018-08-06 18:39:11 +02:00
bitvector
pkgs: refactor needless quoting of homepage meta attribute (#27809)
2017-08-01 22:03:30 +02:00
categories
pkgs: refactor needless quoting of homepage meta attribute (#27809)
2017-08-01 22:03:30 +02:00
pretty
pretty: mark as broken
2018-04-12 23:04:03 +02:00
TotalParserCombinators
pkgs: refactor needless quoting of homepage meta attribute (#27809)
2017-08-01 22:03:30 +02:00
Powered by Gitea Version: 1.25.5 Page: 1007ms Template: 5ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API