Edit
IABSD.fr/ports
Branch :
-
Show log
Commit
-
Author :
daniel
Date : 2025-09-02 12:39:32
Hash : 39bd23c7
Message : update to CompCert 3.16 IBT/BTI is not yet ready for this release so it is turned off but hopefully support will be included in a future release.
- Files
- .cvsignore
- .gitignore
- Makefile
- README
- archivers
- astro
- audio
- benchmarks
- biology
- books
- cad
- chinese
- comms
- converters
- databases
- devel
- editors
- education
- emulators
- fonts
- games
- geo
- graphics
- infrastructure
- inputmethods
- japanese
- java
- korean
- lang
- math
- meta
- misc
- multimedia
- net
- news
- plan9
- productivity
- security
- shells
- sysutils
- telephony
- tests
- textproc
- wayland
- www
- x11
- Properties
-
Git HTTP https://git.kmx.io/IABSD.fr/ports.git Git SSH git@git.kmx.io:IABSD.fr/ports.git Public ? true Name IABSD ports collection Description Users 
Tags