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

	Name	Last modified	Size
	Parent Directory		-
	libcoq-serapi-ocaml_8.19.0+0.19.3-4+b2_8.20.0+0.20.0-1_amd64.debdelta-too-big	2024-11-20 22:02	0
	libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4+b2_8.20.0+0.20.0-1_amd64.debdelta-too-big	2024-11-20 22:02	0
	coq-serapi_8.19.0+0.19.3-4+b2_8.20.0+0.20.0-1_amd64.debdelta-too-big	2024-11-20 22:02	0