Index of /debian-deltas/pool/main/c/coq

	Name	Last modified	Size
	Parent Directory		-
	libcoq-stdlib_8.20.0+dfsg-1+b2_8.20.1+dfsg-1_amd64.debdelta	2025-02-17 21:46	9.0M
	libcoq-core-ocaml-dev_8.20.0+dfsg-1+b2_8.20.1+dfsg-1_amd64.debdelta	2025-02-17 21:46	41M
	libcoq-core-ocaml_8.20.0+dfsg-1+b2_8.20.1+dfsg-1_amd64.debdelta	2025-02-17 21:45	15M
	coqide_8.20.0+dfsg-1+b2_8.20.1+dfsg-1_amd64.debdelta	2025-02-17 21:44	5.5K
	coq_8.20.0+dfsg-1+b2_8.20.1+dfsg-1_amd64.debdelta	2025-02-17 21:44	27M
	libcoq-stdlib_8.20.0+dfsg-1+b1_8.20.0+dfsg-1+b2_amd64.debdelta	2025-02-13 09:39	179K
	libcoq-core-ocaml-dev_8.20.0+dfsg-1+b1_8.20.0+dfsg-1+b2_amd64.debdelta	2025-02-13 09:39	439K
	libcoq-core-ocaml_8.20.0+dfsg-1+b1_8.20.0+dfsg-1+b2_amd64.debdelta	2025-02-13 09:38	61K
	coqide_8.20.0+dfsg-1+b1_8.20.0+dfsg-1+b2_amd64.debdelta	2025-02-13 09:37	4.9K
	coq_8.20.0+dfsg-1+b1_8.20.0+dfsg-1+b2_amd64.debdelta	2025-02-13 09:37	15M
	libcoq-stdlib_8.20.0+dfsg-1_8.20.0+dfsg-1+b1_amd64.debdelta	2025-01-28 21:47	187K
	libcoq-core-ocaml-dev_8.20.0+dfsg-1_8.20.0+dfsg-1+b1_amd64.debdelta-too-big	2025-01-28 21:47	0
	libcoq-core-ocaml_8.20.0+dfsg-1_8.20.0+dfsg-1+b1_amd64.debdelta-too-big	2025-01-28 21:46	0
	coqide_8.20.0+dfsg-1_8.20.0+dfsg-1+b1_amd64.debdelta-too-big	2025-01-28 21:46	0
	coq_8.20.0+dfsg-1_8.20.0+dfsg-1+b1_amd64.debdelta-too-big	2025-01-28 21:46	0