FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Commit found by message id
Tue, 20 Dec 2011
[ 05:20:00 tabthorpe ] Original commit 
imgtops graphics files touched by this commit Create efficient Encapsulated Postscript files from images
ml-doc devel files touched by this commit Language and tools for documenting Standard ML libraries
pspresent misc files touched by this commit Full-screen slide shows of postscript files
sml-fxp textproc files touched by this commit Validating XML parser with Standard ML interface
sml_tk devel files touched by this commit Typed and abstract Standard ML interface to Tcl/Tk
uppaal devel  Ignore files touched by this commit Restricted Tool environment for modeling and verifying timed automata
- Reassign to the heap do to mail bounce

<timbob@bigpond.com>: host extmail.bigpond.com[61.9.168.122] said: 550 5.1.1
   <timbob@bigpond.com> recipient rejected. IB603a (in reply to RCPT TO
   command)

Final-Recipient: rfc822; timbob@bigpond.com
Original-Recipient: rfc822;timbob@bigpond.com
Action: failed
Status: 5.1.1
Remote-MTA: dns; extmail.bigpond.com
Diagnostic-Code: smtp; 550 5.1.1 <timbob@bigpond.com> recipient rejected.

With hat:       portmgr

Number of ports [& non-ports] in this commit: 6

Showing files for just one port: devel/uppaal

show all files

hide all files


1 file found
ActionRevisionLinksFile
modify 1.12 View diff View revision /ports/head/devel/uppaal/Makefile
Login
User Login
Create account

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

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
i2pJul 28
i2pJul 28
i2pJul 28
bugzilla44Jul 25
apache22Jul 24
apache22-event-mpmJul 24
apache22-itk-mpmJul 24
apache22-peruser-mpmJul 24
apache22-worker-mpmJul 24
firefoxJul 23
firefox-develJul 23
firefox-esrJul 23
firefox10Jul 23
firefox15Jul 23
firefox3Jul 23

11 vulnerabilities affecting 34 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24401
Broken 181
Deprecated 842
Ignore 516
Forbidden 16
Restricted 263
No CDROM 101
Vulnerable 27
Expired 4
Set to expire 829
Interactive 13
new 24 hours 1
new 48 hours7
new 7 days17
new fortnight36
new month104


Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.