To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used. Select below a type of object currently browsed in order to display its associated SWHID and permalink.
swh:1:cnt:9513b324273776fe09165256055bad347a95633f
all: export TIMED @+$(MAKE) -C theories all force Makefile: ; %: force @+$(MAKE) -C theories $@ .PHONY: all force