11 search results for "tag:"time""
Showing 1 - 11
-
3.0.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 25 other packages12 Oct 2022
-
Platform dedicated to the analysis of source code written in C30.0~betaLGPL-2.1-onlyUsed by 4 other packages12 Nov 2024
-
frama-c-base
No documentation
Platform dedicated to the analysis of source code written in C.15.0LGPL-2.1-onlyUsed by 2 other packages30 Oct 2018 -
This package contains the Frama-C's E-ACSL plug-in.0.5LGPL-2.1-onlyUsed by 0 other packages28 Jul 2015
-
2.1.0ISCUsed by 66 other packages11 Sep 2024
-
Interface to the SDL2 library0.04restrictionless ZlibUsed by 2 other packages31 Dec 2020
-
Interface to the SDL2_image library0.01restrictionless ZlibUsed by 0 other packages31 Dec 2020
-
Interface to the SDL2_ttf library0.02restrictionless ZlibUsed by 0 other packages31 Dec 2020
-
1.2.0ISCUsed by 108 other packages11 Sep 2024
-
Bindings to the SFML multimedia library0.09.2zlib-acknowledgementUsed by 0 other packages06 Aug 2022
-
0.1.0ISCUsed by 1 other packages18 May 2016