FreshPorts -- lang/smlnj/files/do-patch-base_runtime_include_ml-unixdep.h

As an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)All times are UTC

Ukraine

non port: lang/smlnj/files/do-patch-base_runtime_include_ml-unixdep.h

Number of commits found: 3

Tue, 16 Jun 2020

[ 23:04 lwhsu

]

539386 lang/smlnj/Makefile
539386 lang/smlnj/distinfo
539386 lang/smlnj/files/do-patch-asdl_config_check__smlnj__heap__suffix.m4
539386 lang/smlnj/files/do-patch-asdl_configure
539386 lang/smlnj/files/do-patch-asdl_src_asdlgen_Makefile.in
539386 lang/smlnj/files/do-patch-base_runtime_include_ml-unixdep.h
539386 lang/smlnj/files/do-patch-base_runtime_objs_makefile
539386 lang/smlnj/files/do-patch-base_runtime_objs_mk.amd64-freebsd
539386 lang/smlnj/files/do-patch-base_runtime_objs_mk.x86-freebsd
539386 lang/smlnj/files/do-patch-base_system_Basis_Implementation_date.sml

(Only the first 10 of 18 ports in this commit are shown above.

)

- Update to 110.96

PR:		242728
Submitted by:	Johannes 5 <joemann@beefree.free.de> (maintainer)

Sat, 21 Sep 2019

[ 11:42 riggs

]

512488 lang/smlnj/Makefile
512488 lang/smlnj/distinfo
512488 lang/smlnj/files/do-patch-asdl_configure
512488 lang/smlnj/files/do-patch-asdl_src_asdlgen_Makefile.in
512488 lang/smlnj/files/do-patch-base_compiler_Parse_lex_ml.lex
512488 lang/smlnj/files/do-patch-base_compiler_Parse_lex_sml.lex
512488 lang/smlnj/files/do-patch-base_runtime_include_ml-unixdep.h
512488 lang/smlnj/files/do-patch-base_runtime_mach-dep_signal-sysdep.h
512488 lang/smlnj/files/do-patch-base_runtime_objs_makefile
512488 lang/smlnj/files/do-patch-base_runtime_objs_mk.x86-freebsd

(Only the first 10 of 20 ports in this commit are shown above.

)

Update to upstream version 110.91

PR:		239858
Submitted by:	joemann@beefree.free.de (maintainer)

Tue, 14 Oct 2014

[ 17:50 pi

]

lang/smlnj: add missing two patches

PR:             193431
Pointy hat to:  myself

Number of commits found: 3

Login
User Login Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts? About the authors Issues FAQ How big is it? Security Policy Privacy Blog Contact

Search
Enter Keywords: more...

Latest Vulnerabilities

chromium	Sep 29
electron22	Sep 29
electron24	Sep 29
electron25	Sep 29
gitlab-ce	Sep 29
ungoogled-chromium	Sep 29
routinator	Sep 27
xrdp	Sep 27
xrdp	Sep 27
jenkins	Sep 25
jenkins-lts	Sep 25
mailpit	Sep 23
webp	Sep 21
tor-browser	Sep 20
gitlab-ce	Sep 19

13 vulnerabilities affecting 144 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2023-09-29 10:25:20 UTC

Ports
Home Categories Deleted ports Sanity Test Failures Newsfeeds

Statistics

Graphs
NEW Graphs (Javascript)

Calculated hourly:

Port count	31870
Broken	86
Deprecated	243
Ignore	238
Forbidden	1
Restricted	2
No CDROM	1
Vulnerable	59
Expired	6
Set to expire	216
Interactive	0
new 24 hours	3
new 48 hours	6
new 7 days	21
new fortnight	39
new month	157