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

Hardware failure

The website is running on the old server. The new server stopped working at about 0200 UTC on 2020-08-22. The database was restored from 2020-08-21 00:59:15+00 UTC. We think we have covered all commits. Nothing should be missing. Any changes you made to your accounts after the restore date will be lost. Sorry about that.
non port: devel/ikos/pkg-plist
SVNWeb

Number of commits found XX: 8

Sat, 14 Dec 2019
[ 08:48 antoine ] Original commit   Revision:520101
520101 devel/ikos/Makefile
520101 devel/ikos/pkg-plist
Fix packaging

PR:		233770
Fri, 13 Dec 2019
[ 06:48 yuri ] Original commit   Revision:520002
520002 devel/ikos/Makefile
520002 devel/ikos/distinfo
520002 devel/ikos/pkg-plist
devel/ikos: Update 2.2 -> 3.0

Reported by:	portscout
Sat, 31 Aug 2019
[ 06:49 yuri ] Original commit   Revision:510329
510329 devel/ikos/Makefile
510329 devel/ikos/distinfo
510329 devel/ikos/pkg-plist
devel/ikos: Update 2.1-152 -> 2.2

Reported by:	portscout
Wed, 10 Apr 2019
[ 08:12 yuri ] Original commit   Revision:498542
498542 devel/ikos/Makefile
498542 devel/ikos/distinfo
498542 devel/ikos/pkg-plist
devel/ikos: Update 2.1-104 -> 2.1-129

ikos now supports llvm80.
Mon, 25 Feb 2019
[ 02:06 yuri ] Original commit   Revision:493829
493829 devel/ikos/Makefile
493829 devel/ikos/distinfo
493829 devel/ikos/pkg-plist
devel/ikos: Update 2.1-82 -> 2.1-104
Fri, 11 Jan 2019
[ 07:24 yuri ] Original commit   Revision:489949
489949 devel/ikos/Makefile
489949 devel/ikos/distinfo
489949 devel/ikos/pkg-plist
devel/ikos: Update 2.1-49 -> 2.1-52

They fixed the bug that I reported yesterday.
Tue, 8 Jan 2019
[ 08:16 yuri ] Original commit   Revision:489651
489651 devel/ikos/Makefile
489651 devel/ikos/distinfo
489651 devel/ikos/pkg-plist
devel/ikos: Update 2.1 -> 2.1-49

* Shared libraries are now available
* Fixes for some crashes are included
Fri, 14 Dec 2018
[ 17:34 yuri ] Original commit   Revision:487452
487452 devel/Makefile
487452 devel/ikos
487452 devel/ikos/Makefile
487452 devel/ikos/distinfo
487452 devel/ikos/files
487452 devel/ikos/files/patch-analyzer_python_ikos_analyzer.py
487452 devel/ikos/pkg-descr
487452 devel/ikos/pkg-plist
New port: devel/ikos: Static analyzer for C/C++ based on theory of abstract
interpretation

Number of commits found XX: 8

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?
The latest upgrade!
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
motionOct 28
freetype2Oct 22
chromiumOct 21
mysql56-serverOct 21
mysql57-serverOct 21
mysql80-serverOct 21
mariadb103-clientOct 18
mariadb103-serverOct 18
mariadb104-clientOct 18
mariadb104-serverOct 18
mariadb105-clientOct 18
mariadb105-serverOct 18
drupal7Oct 17
py-matrix-synapseOct 17
powerdns-recursorOct 14

8 vulnerabilities affecting 102 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2020-10-28 10:26:17


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 41261
Broken 57
Deprecated 270
Ignore 295
Forbidden 4
Restricted 146
No CDROM 73
Vulnerable 20
Expired 9
Set to expire 241
Interactive 0
new 24 hours 6
new 48 hours10
new 7 days41
new fortnight112
new month196

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