Index of /pub/debian/pool/main/d/dgit

	Name	Last modified	Size	Description
	Parent Directory		-
	dgit-infrastructure_3.11~deb9u1_all.deb	2017-07-15 20:15	46K
	dgit-infrastructure_8.5_all.deb	2019-05-27 01:33	63K
	dgit-infrastructure_8.5~bpo9+1_all.deb	2019-06-24 17:02	63K
	dgit-infrastructure_9.10~bpo10+1_all.deb	2020-02-21 22:59	70K
	dgit-infrastructure_9.13_all.deb	2021-02-12 15:14	71K
	dgit-infrastructure_10.7_all.deb	2023-02-23 01:08	45K
	dgit_3.11~deb9u1_all.deb	2017-07-15 20:15	130K
	dgit_8.5_all.deb	2019-05-27 01:33	206K
	dgit_8.5~bpo9+1_all.deb	2019-06-24 17:02	206K
	dgit_9.10~bpo10+1_all.deb	2020-02-21 22:59	218K
	dgit_9.13_all.deb	2021-02-12 15:14	219K
	dgit_10.7_all.deb	2023-02-23 01:08	197K
	git-debpush_9.10~bpo10+1_all.deb	2020-02-21 22:59	49K
	git-debpush_9.13_all.deb	2021-02-12 15:14	49K
	git-debpush_10.7_all.deb	2023-02-23 01:08	22K
	git-debrebase_8.5_all.deb	2019-05-27 01:33	91K
	git-debrebase_8.5~bpo9+1_all.deb	2019-06-24 17:02	91K
	git-debrebase_9.10~bpo10+1_all.deb	2020-02-21 22:59	96K
	git-debrebase_9.13_all.deb	2021-02-12 15:14	97K
	git-debrebase_10.7_all.deb	2023-02-23 01:08	71K