Xavier Denis

name	Xavier Denis
Crates.io:	xldenis
GitHub user:	xldenis

Has error in the released Cargo.toml file

name	repo
creusot-contracts	repo
creusot-contracts-proc	repo
pearlite-syn	repo
creusot-contracts-dummy	repo

Crates

name	update at	owner	repo	count	CI	fmt
creusot-contracts	2024-10-27 11:18:01.755663	Xavier Denis	NA	NA	NA	fmt
creusot-contracts-proc	2024-10-27 11:17:50.714193	Xavier Denis	repo	2745	GitHub Action	fmt
pearlite-syn	2024-10-27 11:17:41.279263	Xavier Denis	repo	2745	GitHub Action	fmt
creusot-contracts-dummy	2024-10-27 11:17:33.953847	Xavier Denis	NA	NA	NA	fmt
why3	2024-10-27 11:17:29.087404	Xavier Denis	repo	2745	GitHub Action	fmt
boogie	2021-12-09 20:52:59.100316	Xavier Denis	repo	128	NA	fmt
pearlite	2021-11-18 16:48:35.19812	Xavier Denis	NA	NA	NA	fmt