Hello, The port lang/smarteiffel 1.2r7 is marked BROKEN : does not fetch. It is ok now, the file is online (same URL). Shall i fill a PR for this ? Contact the maintainer or something else ? Thanks, regards.