Tree - rpms/Agda - src.fedoraproject.org

rpms / Agda

Blame .gitignore

Blob History Raw

		1567c74	`/Agda-executable-2.3.0.1.tar.gz`
		c05cc5b	`/Agda-2.3.2.1.tar.gz`
		039fa08	`/Agda-2.3.2.2.tar.gz`
		d6f36b5	`/Agda-2.4.2.tar.gz`
		6984fbf	`/Agda-2.4.2.2.tar.gz`
		42b7c9e	`/geniplate-mirror-0.7.4.tar.gz`
		42b7c9e	`/Agda-2.4.2.5.tar.gz`
		1072e25	`/Agda-2.5.2.tar.gz`
		7d30bcc	`/EdisonAPI-1.3.1.tar.gz`
		7d30bcc	`/murmur-hash-0.1.0.9.tar.gz`
		7d30bcc	`/monadplus-1.4.2.tar.gz`
		7d30bcc	`/ieee754-0.8.0.tar.gz`
		7d30bcc	`/gitrev-1.2.0.tar.gz`
		7d30bcc	`/EdisonCore-1.3.1.1.tar.gz`
		e8fe124	`/geniplate-mirror-0.7.5.tar.gz`
		e8fe124	`/Agda-2.5.3.tar.gz`
		e8fe124	`/gitrev-1.3.1.tar.gz`
		e8fe124	`/uri-encode-1.5.0.5.tar.gz`
		054a111	`/EdisonCore-1.3.2.1.tar.gz`
		054a111	`/geniplate-mirror-0.7.6.tar.gz`
		31025ad	`/Agda-2.5.4.2.tar.gz`
		13455a7	`/Agda-2.6.0.1.tar.gz`
		a122f58	`/Agda-2.6.1.tar.gz`

Powered by Pagure 5.14.1

Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint

© Red Hat, Inc. and others.