Agda/ - Agda - http://hackage.haskell.org/package/Agda

Branch	Commit message	Author	Age
master	version 2.6.0.1	AndresSicardRamirez	3 months

Tag	Download	Author	Age
2.6.0.1	commit 31d1cd4732...	AndresSicardRamirez	3 months
2.6.0	commit 87e5acbc14...	AndresSicardRamirez	4 months
2.5.4.2	commit 70d2d7d8bf...	AndresSicardRamirez	10 months
2.5.4.1	commit e579926b3d...	AndresSicardRamirez	13 months
2.5.4	commit c58679c07a...	AndresSicardRamirez	14 months
2.5.3	commit 88d55c1a78...	AndresSicardRamirez	23 months
2.5.2	commit 183a416a31...	AndresSicardRamirez	3 years
2.5.1.2	commit 943f54b053...	UlfNorell	3 years
2.5.1.1	commit 8ade7eec7e...	AndresSicardRamirez	3 years
2.5.1	commit 29066e411f...	AndresSicardRamirez	3 years
2.4.2.5	commit a6fab26cb3...	AndresSicardRamirez	4 years
2.4.2.4	commit 2c7bab00f1...	AndresSicardRamirez	4 years
2.4.2.3	commit 25c6bd58d8...	AndresSicardRamirez	4 years
2.4.2.2	commit eaa975f823...	AndresSicardRamirez	5 years
2.4.2.1	commit adec556105...	AndresSicardRamirez	5 years
2.4.2	commit 54e5cecb09...	UlfNorell	5 years
2.4.0.2	commit 8cf594f15b...	AndreasAbel	5 years
2.4.0.1	commit acbec86c14...	UlfNorell	5 years
2.4.0	commit 3df12b3cad...	UlfNorell	5 years
2.3.2.2	commit 8edd33e15b...	NilsAndersDanielsson	6 years
2.3.2.1	commit 4c69c51e1b...	AndresSicardRamirez	6 years
2.3.2	commit b6659d4ed7...	AndreasAbel	7 years
2.3.0.1	commit bba2685ea2...	UlfNorell	7 years
2.3.0	commit 94897f7db4...	UlfNorell	8 years
2.2.10	commit 224cef1142...	NilsAndersDanielsson	8 years
2.2.8	commit e63fae2f45...	NilsAndersDanielsson	9 years
2.2.6	commit be0c9bf364...	NilsAndersDanielsson	10 years
2.2.4	commit 26bffd7695...	NilsAndersDanielsson	10 years
2.2.2	commit 40271c8824...	NilsAndersDanielsson	10 years
2.2.0	commit 07dace98b8...	NilsAndersDanielsson	10 years