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

Search FreshPorts using Google

The FreshPorts Search


Include deleted ports Case sensitive search Sort by:
Include /src tree
Output format:
HTML
Plain Text
Maximum Effort Minimal output

Notes

  • Case sensitivity is ignored for "sounds like" and output is ordered by the soundex.
  • When searching on 'Message ID', the type of match is ignored.
  • When searching on 'Commit Message' only 'containing' is used.
  • When searching by 'Under a pathname', your path must start with something like /ports/, /doc/, or /src/. All commits under that point will be returned. The selected match type is ignored and defaults to 'Starts with'.
  • Searching for 'sounds like' is only valid for Committer, Maintainer, Package Name, and Port Name.
Number of ports: 71
zip-ada Zip compressed archive file format library written in Ada
50_2 archivers search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-05-09 10:12:27
License: MIT
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/archivers/zip-ada/ && make install clean
To add the package: pkg install zip-ada

PKGNAME: zip-ada

distinfo:

SHA256 (zipada50_f1.zip) = d8962aeca991ecf46f61ddff9aa6993c3c8b26b0debe98c54e31f49aa13781ff
SIZE (zipada50_f1.zip) = 397886

zstd Zstandard - Fast real-time compression algorithm
0.8.1 archivers search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-08-18 21:20:44
License: BSD2CLAUSE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/archivers/zstd/ && make install clean
To add the package: pkg install zstd

PKGNAME: zstd

distinfo:

TIMESTAMP = 1471529863
SHA256 (Cyan4973-zstd-v0.8.1_GH0.tar.gz) = 4632bee45988dd0fe3edf1e67bdf0a833895cbb1a7d1eb23ef0b7d753f8bffdd
SIZE (Cyan4973-zstd-v0.8.1_GH0.tar.gz) = 605676

ghdl GNU VHDL simulator
0.33_1 cad search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-05-27 10:40:40
License: GPLv2
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/cad/ghdl/ && make install clean
To add the package: pkg install ghdl

PKGNAME: ghdl

distinfo:

SHA256 (tgingold-ghdl-v0.33_GH0.tar.gz) = aa1519e72e4537e69cefd18a212221a77ecac021f935b1c969532dfa3c7edb27
SIZE (tgingold-ghdl-v0.33_GH0.tar.gz) = 3202198
SHA256 (gcc-4.9.2.tar.bz2) = 2020c98295856aa13fda0f2f3a4794490757fc24bcca918d52cc8b4917b972dd
SIZE (gcc-4.9.2.tar.bz2) = 89939747

adabase Thick database bindings for Ada
3.1 databases search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-06-16 21:08:06
License: ISCL
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/databases/adabase/ && make install clean
To add the package: pkg install adabase

PKGNAME: adabase

distinfo:

TIMESTAMP = 1466107071
SHA256 (jrmarino-AdaBase-v3.1_GH0.tar.gz) = 115967a90abf94f102aa4916a2ed14fb7aac2382f56113b791f2fd08b909444a
SIZE (jrmarino-AdaBase-v3.1_GH0.tar.gz) = 163154

apq APQ Ada95 database base library
3.2.0_1 databases search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-30 07:44:28
License: GPLv2 GMGPL
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/databases/apq/ && make install clean
To add the package: pkg install apq

PKGNAME: apq

distinfo:

SHA256 (apq-3.2.0.tar.bz2) = 0a5cf0ecca4a6ed103948221184d21588aacd4e43438ce35dfea4a873679a9d8
SIZE (apq-3.2.0.tar.bz2) = 115841

apq-mysql APQ Ada95 MySQL database driver
3.2.0_2 databases search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-01 15:00:57
License: GPLv2 GMGPL
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/databases/apq-mysql/ && make install clean
To add the package: pkg install apq-mysql

PKGNAME: apq-mysql

distinfo:

SHA256 (apq-mysql-3.2.0.tar.bz2) = 7dfa7eaf52b2b5695f067595903fb0f5200583b462603cb707b26f11064ee358
SIZE (apq-mysql-3.2.0.tar.bz2) = 29910

apq-odbc APQ Ada95 ODBC database driver
3.2.0_1 databases search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-01 15:00:57
License: GPLv2 GMGPL
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/databases/apq-odbc/ && make install clean
To add the package: pkg install apq-odbc

PKGNAME: apq-odbc

distinfo:

SHA256 (apq-odbc-3.2.0.tar.bz2) = abdcb427d194a75eb8631ea1ff9d8d78a913cc6373971fffdd59d111bc66a808
SIZE (apq-odbc-3.2.0.tar.bz2) = 18781

apq-pgsql APQ Ada95 PostgreSQL database driver
3.2.0_1 databases search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-01 15:00:57
License: GPLv2 GMGPL
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/databases/apq-pgsql/ && make install clean
To add the package: pkg install apq-pgsql

PKGNAME: apq-pgsql

distinfo:

SHA256 (apq-pgsql-3.2.0.tar.bz2) = b2bd6b1f3eaa26fe3abb88c1d8fb408e9fcfecc02c8732428bde2236dbcb2843
SIZE (apq-pgsql-3.2.0.tar.bz2) = 51553

libnvpair Illumos name-value pair library
2.0 databases search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2015-11-23 00:10:33
License: CDDL
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/databases/libnvpair/ && make install clean
To add the package: pkg install libnvpair

PKGNAME: libnvpair

distinfo:

SHA256 (jrmarino-libnvpair-2.0_GH0.tar.gz) = 33184cf94d054eabed82d2cc528d9075c36577cc19e1fed0ecbfbb6cbe2d5cbd
SIZE (jrmarino-libnvpair-2.0_GH0.tar.gz) = 44909

ada-util Utility library for Ada 2005 applications
1.8.0_3 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-30 07:44:28
License: APACHE20
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/ada-util/ && make install clean
To add the package: pkg install ada-util

PKGNAME: ada-util

distinfo:

SHA256 (stcarrez-ada-util-1.8.0-b6612400_GH0.tar.gz) = e49fc4da1726726bfea27e03c05b9161bc65d86d5a6509bff611adff3a8a21f4
SIZE (stcarrez-ada-util-1.8.0-b6612400_GH0.tar.gz) = 345837

adabooch Ada 95 Booch Components
20160321_1 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-30 07:44:28
License: GPLv2 GMGPL
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/adabooch/ && make install clean
To add the package: pkg install adabooch

PKGNAME: adabooch

distinfo:

SHA256 (bc-20160321.tar.bz2) = 045fdbcbe613d1454d69995ccf21c80653bcd8afbfe269d760a47ca0f70694bf
SIZE (bc-20160321.tar.bz2) = 561697

adacurses Ada95 bindings for ncurses
20150808_3 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-07-22 02:37:51
License: MIT
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/adacurses/ && make install clean
To add the package: pkg install adacurses

PKGNAME: adacurses

distinfo:

SHA256 (AdaCurses-20150808.tgz) = 2f4870309a2868f7e24af25e83062c0b8e3fd63f495d3d0964b7450767085bc9
SIZE (AdaCurses-20150808.tgz) = 675359

adaid Simple Ada library for generating UUIDs
0.0.1 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-08-09 15:06:42
License: BSD2CLAUSE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/adaid/ && make install clean
To add the package: pkg install AdaID

PKGNAME: AdaID

distinfo:

TIMESTAMP = 1470593800
SHA256 (anthony-arnold-AdaID-v0.0.1_GH0.tar.gz) = 6da9a4e1346a15e320e271103fe94c45517492ab95b989ecd9ffc9151d8665da
SIZE (anthony-arnold-AdaID-v0.0.1_GH0.tar.gz) = 14999

afay Improved aflex and ayacc Ada 95 scanner and parser generators
041111_3 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-30 07:44:28
License: aflex
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/afay/ && make install clean
To add the package: pkg install afay

PKGNAME: afay

distinfo:

SHA256 (afay_thiberlog_041111.tgz) = 05bcf5d83368f379caef43ecb2d7591f0ed2ec364e6ea431f36ad71df37ef522
SIZE (afay_thiberlog_041111.tgz) = 700487

ahven Ada unit test framework
2.6_2 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-30 07:44:28
License: ISCL
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/ahven/ && make install clean
To add the package: pkg install ahven

PKGNAME: ahven

distinfo:

SHA256 (ahven-2.6.tar.gz) = 9ad43885c333c1d93cb106dbf8f361bac33b793d9892930a540eebdf23c1c4a5
SIZE (ahven-2.6.tar.gz) = 107491

alog Stackable logging framework for Ada
0.5.2 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-08-25 21:16:21
License: LGPL21
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/alog/ && make install clean
To add the package: pkg install alog

PKGNAME: alog

distinfo:

TIMESTAMP = 1472136828
SHA256 (libalog-0.5.2.tar.bz2) = 596ca4fe8b1c738c1fbf25bc5c9abbb2212e18b2c9681ed047802107de38d033
SIZE (libalog-0.5.2.tar.bz2) = 72230

aunit Ada unit testing framework
2016 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-07-22 18:08:19
License: GPLv3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/aunit/ && make install clean
To add the package: pkg install aunit

PKGNAME: aunit

distinfo:

TIMESTAMP = 1469184203
SHA256 (aunit-gpl-2016-src.tar.gz) = ba1b86b853daef98190a7dfc9858aedcd4cc85219b310356c02348f32dcc77cf
SIZE (aunit-gpl-2016-src.tar.gz) = 393489

florist-gpl POSIX Ada binding, IEEE Standards 1003.5(b,c)
2016 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-06-10 00:39:16
License: GPLv3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/florist-gpl/ && make install clean
To add the package: pkg install florist-gpl

PKGNAME: florist-gpl

distinfo:

TIMESTAMP = 1465514913
SHA256 (florist-gpl-2016-src.tar.gz) = 658e32bfc3bd661bc7edc5b616dcd2427699e7b14065c5093b8a2d8c05ed1af8
SIZE (florist-gpl-2016-src.tar.gz) = 291635

gnatcoll GNAT Component Collection from Adacore
2016 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-06-11 19:41:54
License: GPLv3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/gnatcoll/ && make install clean
To add the package: pkg install gnatcoll

PKGNAME: gnatcoll

distinfo:

TIMESTAMP = 1465650872
SHA256 (AdaCore-gnatcoll-2016-858f72c_GH0.tar.gz) = 18e3470eacad2e445d34621a2ed7a24a32548dc3210d9aa5ae774a58e623d746
SIZE (AdaCore-gnatcoll-2016-858f72c_GH0.tar.gz) = 4369484
SHA256 (AdaCore-gprbuild-a2e9066_GH0.tar.gz) = 6f35607ef16e81aa76bb0e5a78bf89d0d54ce691fda50517d50e18540db8aaa5
SIZE (AdaCore-gprbuild-a2e9066_GH0.tar.gz) = 4254762

gnatpython Python package used in Ada testsuites
20140224 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2015-06-21 10:13:00
License: GPLv3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/gnatpython/ && make install clean
To add the package: pkg install gnatpython

PKGNAME: gnatpython

distinfo:

SHA256 (gnatpython-20140224.tar.bz2) = a622c790dfcdb8c7b6fb77cdef8ce3b0fe96649bf5dd422216d21bacf34e12a8
SIZE (gnatpython-20140224.tar.bz2) = 102940

gprbuild Adacore multi-language software build tool
20160609 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-06-09 23:20:34
License: GPLv3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/gprbuild/ && make install clean
To add the package: pkg install gprbuild

PKGNAME: gprbuild

distinfo:

TIMESTAMP = 1465501253
SHA256 (AdaCore-gprbuild-20160609-376670f_GH0.tar.gz) = c595767f69cca960d5f0f7bfa5f7bdcfb2fcba11822432e87f1eef52cfb68fab
SIZE (AdaCore-gprbuild-20160609-376670f_GH0.tar.gz) = 958175

gps GNAT Programming Studio - IDE for Ada and many other languages
2016_1 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-07-08 23:28:04
License: GPLv3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/gps/ && make install clean
To add the package: pkg install gps-ide

PKGNAME: gps-ide

distinfo:

TIMESTAMP = 1465580235
SHA256 (gps-gpl-2016-src.tar.gz) = 358fe9027a8dfc8311aabab88d4090cddd4a5cc6af82edf2ad88eb787c1793db
SIZE (gps-gpl-2016-src.tar.gz) = 30660863

libspark2012 SPARK 2012 Spark.Ada library
2012_1 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-11 14:54:23
License: GPLv3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/libspark2012/ && make install clean
To add the package: pkg install libspark2012

PKGNAME: libspark2012

distinfo:

SHA256 (libspark2012-2012.tar.bz2) = 862e6b23ff44aea02ab10a4dcc2c00a9893231286d51a6bc587230366c936db2
SIZE (libspark2012-2012.tar.bz2) = 23773

libuutil Illumos userland utilities library
1.0.3 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-05-19 11:21:25
License: CDDL
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/libuutil/ && make install clean
To add the package: pkg install libuutil

PKGNAME: libuutil

distinfo:

SHA256 (jrmarino-libuutil-1.0.3_GH0.tar.gz) = 8694b537bb6481fea7855c626923e5d114397e81d7a8cf723cec47d4f5b06129
SIZE (jrmarino-libuutil-1.0.3_GH0.tar.gz) = 27701

matreshka Ada framework for information systems development
0.7.0_1 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-05-19 11:21:25
License: BSD3CLAUSE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/matreshka/ && make install clean
To add the package: pkg install matreshka

PKGNAME: matreshka

distinfo:

SHA256 (matreshka-0.7.0.tar.gz) = 25c66895d07f40582380d68794e55a3a735ba22b097f2f3ad5bad73797395f03
SIZE (matreshka-0.7.0.tar.gz) = 34674038

pcsc-ada Ada binding to PC/SC middleware (Smart card interface)
0.7.3 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-08-08 05:24:10
License: LGPL21
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/pcsc-ada/ && make install clean
To add the package: pkg install pcsc-ada

PKGNAME: pcsc-ada

distinfo:

TIMESTAMP = 1470113413
SHA256 (libpcscada-0.7.3.tar.bz2) = a2acf54650824d010977a40a1f2f8e551cf1b15841467e1a539b299c5e9332ee
SIZE (libpcscada-0.7.3.tar.bz2) = 48673

pragmarcs PragmAda Reusable Components
20160627 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-07-04 17:24:01
License: GPLv2 GMGPL
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/pragmarcs/ && make install clean
To add the package: pkg install pragmarcs

PKGNAME: pragmarcs

distinfo:

TIMESTAMP = 1467580159
SHA256 (jrcarter-PragmARC-20160627-cd8b6ef_GH0.tar.gz) = 1df33e3e4469cb770bfb025a641bb2c6bdab1888e93324440315037893c2d955
SIZE (jrcarter-PragmARC-20160627-cd8b6ef_GH0.tar.gz) = 92102

sdl_gnat Ada thin bindings for SDL (GPLv3)
2013_3 devel search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-30 07:44:28
License: GPLv3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/sdl_gnat/ && make install clean
To add the package: pkg install sdl_gnat

PKGNAME: sdl_gnat

distinfo:

SHA256 (sdl_gnat-2013.tar.bz2) = 7738cd41abfe00545bc7ab1ec0838074106e098052ba5f2a2bcce280721011ab
SIZE (sdl_gnat-2013.tar.bz2) = 67370

ironsides Authoritative DNS server formally verified by SPARK/Ada
20150415 dns search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-11 14:54:23
License: Ironsides
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/dns/ironsides/ && make install clean
To add the package: pkg install ironsides

PKGNAME: ironsides

distinfo:

SHA256 (ironsides_authoritative-2015_04_15.zip) = de865b0da6a3e1cc73249e90a6e13fcc33785a9a38b704efb9cfb04ff57fc3c4
SIZE (ironsides_authoritative-2015_04_15.zip) = 199862

copperspice Modern cross-platform C++ GUI library (derived from Qt 4.8)
1.2.2 graphics search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-01 15:00:57
License: LGPL21
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/graphics/copperspice/ && make install clean
To add the package: pkg install copperspice

PKGNAME: copperspice

distinfo:

SHA256 (copperspice-1.2.2.tar.bz2) = fbcda16ef133a86014875c85f7a829b1049026b1b754eaf6cd262dc6806e20fe
SIZE (copperspice-1.2.2.tar.bz2) = 15225245

generic_image_decoder Ada library for decoding various image formats inc. animations
05_1 graphics search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-05-19 11:44:12
License: MIT
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/graphics/generic_image_decoder/ && make install clean
To add the package: pkg install generic_image_decoder

PKGNAME: generic_image_decoder

distinfo:

SHA256 (gid-05.zip) = 939b149314e02e309830e48bcf5e7d32f2b093859e3adf4cfd55e4923d6c80fc
SIZE (gid-05.zip) = 103865

adacontrol Tool for detecting use or non-use of specific Ada constructs
1.17r3_3 lang search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-06-10 01:34:33
License: GPLv2 GMGPL
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/lang/adacontrol/ && make install clean
To add the package: pkg install adacontrol

PKGNAME: adacontrol

distinfo:

SHA256 (adacontrol-01/adactl-1.17r3-src.tgz) = e23d45eb6d7af9982285d9eeaf51ac046128b150d306c3be62f7415b4ee6c5d0
SIZE (adacontrol-01/adactl-1.17r3-src.tgz) = 1976446

asis GNAT implementation of Ada Semantic Interface Specification
2016 lang search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-06-10 01:34:33
License: GPLv2
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/lang/asis/ && make install clean
To add the package: pkg install asis

PKGNAME: asis

distinfo:

TIMESTAMP = 1465515802
SHA256 (asis-gpl-2016-src.tar.gz) = 3e36e0835e291dafe6dd2246748ed12b449d33044c32209d3af012c83064c38e
SIZE (asis-gpl-2016-src.tar.gz) = 5240554

gcc5-aux Version of GCC 5 with full Ada support
20160603 lang search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-08-23 09:49:41
License: GPLv3 GPLv3RLE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/lang/gcc5-aux/ && make install clean
To add the package: pkg install gcc5-aux

PKGNAME: gcc5-aux

distinfo:

TIMESTAMP = 1465327731
SHA256 (gcc-5.4.0.tar.bz2) = 608df76dec2d34de6558249d8af4cbee21eceddbcb580d666f7a5a583ca3303a
SIZE (gcc-5.4.0.tar.bz2) = 95661481
SHA256 (ada-bootstrap.i386.freebsd.100B.tar.bz2) = 7231209f2600275f554f788ad1d036cf633c4339ebd25bd479a5bb1ddcddedf3
SIZE (ada-bootstrap.i386.freebsd.100B.tar.bz2) = 41229192
SHA256 (ada-bootstrap.x86_64.dragonfly.41.tar.bz2) = eb7785d8b842aee2bb04b43adfb1346b178ee4e83d8775b4e6705fd23f1586f0
SIZE (ada-bootstrap.x86_64.dragonfly.41.tar.bz2) = 44956630
SHA256 (ada-bootstrap.x86_64.freebsd.100B.tar.bz2) = 1066d7c5e71d78b4416de3b73348227678ca07db52488409e270db7b00467f55
SIZE (ada-bootstrap.x86_64.freebsd.100B.tar.bz2) = 42163803

gcc6-aux Version of GCC 6 with full Ada support
20160822 lang search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-08-25 20:14:59
License: GPLv3 GPLv3RLE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/lang/gcc6-aux/ && make install clean
To add the package: pkg install gcc6-aux

PKGNAME: gcc6-aux

distinfo:

TIMESTAMP = 1472132302
SHA256 (gcc-6.2.0.tar.bz2) = 9944589fc722d3e66308c0ce5257788ebd7872982a718aa2516123940671b7c5
SIZE (gcc-6.2.0.tar.bz2) = 99778648
SHA256 (ada-bootstrap.i386.freebsd.100B.tar.bz2) = 7231209f2600275f554f788ad1d036cf633c4339ebd25bd479a5bb1ddcddedf3
SIZE (ada-bootstrap.i386.freebsd.100B.tar.bz2) = 41229192
SHA256 (ada-bootstrap.x86_64.dragonfly.41.tar.bz2) = eb7785d8b842aee2bb04b43adfb1346b178ee4e83d8775b4e6705fd23f1586f0
SIZE (ada-bootstrap.x86_64.dragonfly.41.tar.bz2) = 44956630
SHA256 (ada-bootstrap.x86_64.freebsd.100B.tar.bz2) = 1066d7c5e71d78b4416de3b73348227678ca07db52488409e270db7b00467f55
SIZE (ada-bootstrap.x86_64.freebsd.100B.tar.bz2) = 42163803

gnat_util Library used to build GNAT tools such as ASIS
20160427 lang search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-30 07:44:28
License: GPLv3 GPLv3RLE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/lang/gnat_util/ && make install clean
To add the package: pkg install gnat_util

PKGNAME: gnat_util

distinfo:

SHA256 (gcc-6.1.0.tar.bz2) = 09c4c85cabebb971b1de732a0219609f93fc0af5f86f6e437fd8d7f832f1a351
SIZE (gcc-6.1.0.tar.bz2) = 99267556
SHA256 (ada-bootstrap.i386.freebsd.100B.tar.bz2) = 7231209f2600275f554f788ad1d036cf633c4339ebd25bd479a5bb1ddcddedf3
SIZE (ada-bootstrap.i386.freebsd.100B.tar.bz2) = 41229192
SHA256 (ada-bootstrap.x86_64.dragonfly.41.tar.bz2) = eb7785d8b842aee2bb04b43adfb1346b178ee4e83d8775b4e6705fd23f1586f0
SIZE (ada-bootstrap.x86_64.dragonfly.41.tar.bz2) = 44956630
SHA256 (ada-bootstrap.x86_64.freebsd.100B.tar.bz2) = 1066d7c5e71d78b4416de3b73348227678ca07db52488409e270db7b00467f55
SIZE (ada-bootstrap.x86_64.freebsd.100B.tar.bz2) = 42163803

gnatdroid-armv7 C/Ada cross-compiler, target: Android ARMv7
20160427 lang search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-01 15:08:38
License: GPLv3 GPLv3RLE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/lang/gnatdroid-armv7/ && make install clean
To add the package: pkg install gnatdroid-armv7

PKGNAME: gnatdroid-armv7

distinfo:

SHA256 (gcc-6.1.0.tar.bz2) = 09c4c85cabebb971b1de732a0219609f93fc0af5f86f6e437fd8d7f832f1a351
SIZE (gcc-6.1.0.tar.bz2) = 99267556
SHA256 (ada-bootstrap.i386.freebsd.100B.tar.bz2) = 7231209f2600275f554f788ad1d036cf633c4339ebd25bd479a5bb1ddcddedf3
SIZE (ada-bootstrap.i386.freebsd.100B.tar.bz2) = 41229192
SHA256 (ada-bootstrap.x86_64.dragonfly.41.tar.bz2) = eb7785d8b842aee2bb04b43adfb1346b178ee4e83d8775b4e6705fd23f1586f0
SIZE (ada-bootstrap.x86_64.dragonfly.41.tar.bz2) = 44956630
SHA256 (ada-bootstrap.x86_64.freebsd.100B.tar.bz2) = 1066d7c5e71d78b4416de3b73348227678ca07db52488409e270db7b00467f55
SIZE (ada-bootstrap.x86_64.freebsd.100B.tar.bz2) = 42163803

gnatdroid-binutils Infrastructure for C/Ada Android cross-compiler (ARMv7)
2.27 lang search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-08-25 20:49:09
License: GPLv3 LGPL3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/lang/gnatdroid-binutils/ && make install clean
To add the package: pkg install gnatdroid-binutils

PKGNAME: gnatdroid-binutils

distinfo:

TIMESTAMP = 1472134635
SHA256 (binutils-2.27.tar.bz2) = 369737ce51587f92466041a97ab7d2358c6d9e1b6490b3940eb09fb0a9a6ac88
SIZE (binutils-2.27.tar.bz2) = 26099568

gnatdroid-binutils-x86 Infrastructure for C/Ada Android cross-compiler (x86)
2.27 lang search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-03-04 13:21:40
License: GPLv3 LGPL3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/lang/gnatdroid-binutils-x86/ && make install clean
To add the package: pkg install gnatdroid-binutils-x86

PKGNAME: gnatdroid-binutils-x86

distinfo:

TIMESTAMP = 1472134635
SHA256 (binutils-2.27.tar.bz2) = 369737ce51587f92466041a97ab7d2358c6d9e1b6490b3940eb09fb0a9a6ac88
SIZE (binutils-2.27.tar.bz2) = 26099568

gnatdroid-sysroot Android sysroots for C/Ada Android cross-compiler
23 lang search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-03-16 14:36:11
License: not specified in port
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/lang/gnatdroid-sysroot/ && make install clean
To add the package: pkg install gnatdroid-sysroot

PKGNAME: gnatdroid-sysroot

distinfo:

SHA256 (gnatdroid-ndk11/android-15-arm.tar.bz2) = 188711876e49285f6c06a54b12e4b1c1da21f059062ed6721453998c9b2bcd22
SIZE (gnatdroid-ndk11/android-15-arm.tar.bz2) = 1724251
SHA256 (gnatdroid-ndk11/android-16-arm.tar.bz2) = 3ecee83a807a474ff77943684caf14dcec8667608c03ed0e102ca05751a390f0
SIZE (gnatdroid-ndk11/android-16-arm.tar.bz2) = 1723800
SHA256 (gnatdroid-ndk11/android-17-arm.tar.bz2) = 88e7001a9489ae16098ad971188047bbceda9f5a7c8a5305433d3420c873df88
SIZE (gnatdroid-ndk11/android-17-arm.tar.bz2) = 1724127
SHA256 (gnatdroid-ndk11/android-18-arm.tar.bz2) = c91a5927e307ee5fdadcd38be2ecc599fa53e4a5eb4e7314ac0730b805143d0a
SIZE (gnatdroid-ndk11/android-18-arm.tar.bz2) = 1736762
SHA256 (gnatdroid-ndk11/android-19-arm.tar.bz2) = 51f94fc2a0de0c34f145cca1394ad0201ffd82aab93f9d3986b24120d739d408
SIZE (gnatdroid-ndk11/android-19-arm.tar.bz2) = 4611404
SHA256 (gnatdroid-ndk11/android-21-arm.tar.bz2) = 7729bcd05fdc10b930d1f99920ed756681fe8cd6c2ecddb002a56e4badcfd2a3
SIZE (gnatdroid-ndk11/android-21-arm.tar.bz2) = 5920624
SHA256 (gnatdroid-ndk11/android-23-arm.tar.bz2) = 64699a1193223bba3fce28130aa064937a237c8a695041cc4637b48e29cdd75e
SIZE (gnatdroid-ndk11/android-23-arm.tar.bz2) = 3326272

gnatdroid-sysroot-x86 Android sysroots for C/Ada Android cross-compiler (x86)
23 lang search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-03-16 14:36:11
License: not specified in port
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/lang/gnatdroid-sysroot-x86/ && make install clean
To add the package: pkg install gnatdroid-sysroot-x86

PKGNAME: gnatdroid-sysroot-x86

distinfo:

SHA256 (gnatdroid-ndk11/android-19-x86.tar.bz2) = 35c5e6fdebe54373d2103e500034d620fbda8a7b79148fc6a5e507a25ff17f24
SIZE (gnatdroid-ndk11/android-19-x86.tar.bz2) = 5554684
SHA256 (gnatdroid-ndk11/android-21-x86.tar.bz2) = 48c306569d4d27ba595c930bfe3ac69208868b2a1d2598b57e8f8ded293a7478
SIZE (gnatdroid-ndk11/android-21-x86.tar.bz2) = 7261178
SHA256 (gnatdroid-ndk11/android-23-x86.tar.bz2) = 0bfdbff8bacd969fc15f69f2593a5c5cd64d3c4dda01ac98206564ee1fda1199
SIZE (gnatdroid-ndk11/android-23-x86.tar.bz2) = 3938769

gnatdroid-x86 C/Ada cross-compiler, target: Android x86
20160427 lang search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-03-16 14:36:11
License: GPLv3 GPLv3RLE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/lang/gnatdroid-x86/ && make install clean
To add the package: pkg install gnatdroid-x86

PKGNAME: gnatdroid-x86

distinfo:

SHA256 (gcc-6.1.0.tar.bz2) = 09c4c85cabebb971b1de732a0219609f93fc0af5f86f6e437fd8d7f832f1a351
SIZE (gcc-6.1.0.tar.bz2) = 99267556
SHA256 (ada-bootstrap.i386.freebsd.100B.tar.bz2) = 7231209f2600275f554f788ad1d036cf633c4339ebd25bd479a5bb1ddcddedf3
SIZE (ada-bootstrap.i386.freebsd.100B.tar.bz2) = 41229192
SHA256 (ada-bootstrap.x86_64.dragonfly.41.tar.bz2) = eb7785d8b842aee2bb04b43adfb1346b178ee4e83d8775b4e6705fd23f1586f0
SIZE (ada-bootstrap.x86_64.dragonfly.41.tar.bz2) = 44956630
SHA256 (ada-bootstrap.x86_64.freebsd.100B.tar.bz2) = 1066d7c5e71d78b4416de3b73348227678ca07db52488409e270db7b00467f55
SIZE (ada-bootstrap.x86_64.freebsd.100B.tar.bz2) = 42163803

lua-ada Ada binding for Lua
1.0_1 lang search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-30 07:44:28
License: GPLv3 GPLv3RLE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/lang/lua-ada/ && make install clean
To add the package: pkg install lua-ada

PKGNAME: lua-ada

distinfo:

SHA256 (AdaCore-ada-lua-1.0-e008192_GH0.tar.gz) = e2a667748d2970dbe186bc8cd7573b5534be5e1fb6cdc70856ca95effe52dff5
SIZE (AdaCore-ada-lua-1.0-e008192_GH0.tar.gz) = 25843

modula3 Critical Mass Modula-3 compiler
5.10.0_2 lang search for ports that depend on this port Find issues related to this port Report an issue related to this port
Ignore IGNORE: the bootstrap compiler only runs on FreeBSD 9.0 or later
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-01 15:08:38
License: DECM3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/lang/modula3/ && make install clean

A package is not available for ports marked as: Forbidden / Broken / Ignore / Restricted

PKGNAME: modula3

distinfo:

SHA256 (modula3-cm3-5.10.0-b2ce705_GH0.tar.gz) = 9548bfa52df6a8c2ae6bcb604d229255caa4bcda2240c1dfa63fc62db2a3c085
SIZE (modula3-cm3-5.10.0-b2ce705_GH0.tar.gz) = 95828558
SHA256 (m3-bootstrap.AMD64.FREEBSD.92.tar.bz2) = b0396c9048876110683e915b773480fd0717ce3a376e518dae2f9093f18253a1
SIZE (m3-bootstrap.AMD64.FREEBSD.92.tar.bz2) = 9983846

spark Technology for engineering high-reliability s/w applications
2014 lang search for ports that depend on this port Find issues related to this port Report an issue related to this port
Broken BROKEN: brutally fails test suite - with ICE
Deprecated DEPRECATED: Broken for more than 6 months
Expiration Date EXPIRATION DATE: 2016-10-29
Ignore IGNORE: is marked as broken: brutally fails test suite - with ICE
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-01 15:08:38
License: GPLv3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/lang/spark/ && make install clean

A package is not available for ports marked as: Forbidden / Broken / Ignore / Restricted

PKGNAME: spark

distinfo:

SHA256 (spark-gpl-2014-src.tar.gz) = 238c82116346375bde63addf7be6950c700916c80c4362aa15c67b9bd72f134f
SIZE (spark-gpl-2014-src.tar.gz) = 37930303
SHA256 (gcc-5-20150609.tar.bz2) = 9154f0b0c4950cfb6dc802da8a35d02478029923a0c44f8ca963cd7ca9107885
SIZE (gcc-5-20150609.tar.bz2) = 90768076

alt-ergo-spark Automatic solver for SPARK 2015
2015 math search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-01 15:16:20
License: CeCILL-C
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/math/alt-ergo-spark/ && make install clean
To add the package: pkg install alt-ergo-spark

PKGNAME: alt-ergo-spark

distinfo:

SHA256 (alt-ergo-for-spark-gpl-2015-src.tar.gz) = 56e70ee8d7b67e95945c156ff80833e45612882605a163a779b7d11ea01f6fbf
SIZE (alt-ergo-for-spark-gpl-2015-src.tar.gz) = 230073

ocaml-zarith OCaml arithmetic library for arbitrary precision integers
1.2.1 math search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-01 15:16:20
License: GPLv2
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/math/ocaml-zarith/ && make install clean
To add the package: pkg install ocaml-zarith

PKGNAME: ocaml-zarith

distinfo:

SHA256 (zarith-1.2.1.tgz) = 916801cc39599d3fca07384fbfeec4bfaa5ffcb497d68ef89320af40ba5e4144
SIZE (zarith-1.2.1.tgz) = 68654

plplot-ada Ada bindings for PLplot
5.11.1_1 math search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-30 07:44:28
License: LGPL3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/math/plplot-ada/ && make install clean
To add the package: pkg install plplot-ada

PKGNAME: plplot-ada

distinfo:

SHA256 (plplot-5.11.1.tar.gz) = 289dff828c440121e57b70538b3f0fb4056dc47159bc1819ea444321f2ff1c4c
SIZE (plplot-5.11.1.tar.gz) = 15445404

why3-spark Component of SPARK 2016
2016 math search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-06-13 21:04:52
License: LGPL21 GPLv3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/math/why3-spark/ && make install clean
To add the package: pkg install why3-spark

PKGNAME: why3-spark

distinfo:

TIMESTAMP = 1465729881
SHA256 (why3-for-spark-gpl-2016-src.tar.gz) = 09e1161d7ff4a1974ff22a2e09d4ceb2ab125d6de4863c13371e212e0e50b19c
SIZE (why3-for-spark-gpl-2016-src.tar.gz) = 8740369

excel-writer Ada package for easily creating Excel files with basic formats
15_1 misc search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-30 07:44:28
License: MIT
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/misc/excel-writer/ && make install clean
To add the package: pkg install excel-writer

PKGNAME: excel-writer

distinfo:

SHA256 (excel_writer_15.zip) = 1fc4cfe500538ba6b58c588f2a4f91547e92c7c492772eafd7418f83678691fc
SIZE (excel_writer_15.zip) = 51883

ini_file_manager Ini configuration file reader and manipulator package for Ada
03_2 misc search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-07-21 19:52:18
License: MIT
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/misc/ini_file_manager/ && make install clean
To add the package: pkg install ini_file_manager

PKGNAME: ini_file_manager

distinfo:

SHA256 (ini-files-03.zip) = eac1c59d766fe9ce3cde7c126fe98d618c30266cc3a6d93b7e0d0e2a8d47025d
SIZE (ini-files-03.zip) = 7643

adasockets IPv4 socket library for Ada (TCP, UDP, and multicast)
1.10_1 net search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-30 07:44:28
License: GPLv2 GMGPL
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/net/adasockets/ && make install clean
To add the package: pkg install adasockets

PKGNAME: adasockets

distinfo:

SHA256 (adasockets-1.10.tar.gz) = df68c6f6f43ba2af7fc63bb69990df74d7ab9abf6194fef276fc64e6e43acdf5
SIZE (adasockets-1.10.tar.gz) = 789252

anet Networking library for Ada
0.3.3 net search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-07-02 23:14:22
License: GPLv2 GMGPL
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/net/anet/ && make install clean
To add the package: pkg install anet

PKGNAME: anet

distinfo:

TIMESTAMP = 1467439601
SHA256 (libanet-0.3.3.tar.bz2) = 8ef101d47f549232b0276687235ac7767a2b50b6bde5f48ca21c20007e8ad20b
SIZE (libanet-0.3.3.tar.bz2) = 50553

polyorb CORBA, SOAP, Ada 95 Distributed System Annex middleware
2.11.1_4 net search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-06-09 14:27:25
License: GPLv3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/net/polyorb/ && make install clean
To add the package: pkg install polyorb

PKGNAME: polyorb

distinfo:

SHA256 (polyorb-gpl-2014-src.tar.gz) = 928f4fd728d1e75e878fc39f2436052272b11ff28a0ef2271e53d60e1a808acb
SIZE (polyorb-gpl-2014-src.tar.gz) = 3313427

genpatch Single patch generator tool compatible with makepatch format
1.40_1 ports-mgmt search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2015-10-08 16:12:22
License: BSD2CLAUSE
SVNWeb : PortsMon

To install the port: cd /usr/ports/ports-mgmt/genpatch/ && make install clean
To add the package: pkg install genpatch

PKGNAME: genpatch

distinfo: There is no distinfo for this port.

synth Custom package repository builder for FreeBSD and DragonFly
1.43 ports-mgmt search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-08-25 18:23:09
License: ISCL
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/ports-mgmt/synth/ && make install clean
To add the package: pkg install synth

PKGNAME: synth

distinfo:

TIMESTAMP = 1472127405
SHA256 (jrmarino-synth-v1.43_GH0.tar.gz) = e3176fec60ecb5af5712c5ef8e06042c861cb471bc8a3e76d48b647c8907366a
SIZE (jrmarino-synth-v1.43_GH0.tar.gz) = 102067

libadacrypt Crypto library for Ada with a nice API
20151019_1 security search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-30 07:44:28
License: GMGPL
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/security/libadacrypt/ && make install clean
To add the package: pkg install libadacrypt

PKGNAME: libadacrypt

distinfo:

SHA256 (cforler-Ada-Crypto-Library-20151019-abc534f_GH0.tar.gz) = 547f6e913cd6c9e9e18fdbccf7f2cd9f2329a0222cc27c0a88db42feabc2727d
SIZE (cforler-Ada-Crypto-Library-20151019-abc534f_GH0.tar.gz) = 2693591

libsparkcrypto Cryptographic library implemented in SPARK
0.1.1_4 security search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-30 07:44:28
License: BSD3CLAUSE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/security/libsparkcrypto/ && make install clean
To add the package: pkg install libsparkcrypto

PKGNAME: libsparkcrypto

distinfo:

SHA256 (libsparkcrypto-0.1.1.tgz) = 47582d6910b8c5bb46df51d0e76c27e6fa2b13e8ab73fb4ae0f1d9f7cbd7aa6a
SIZE (libsparkcrypto-0.1.1.tgz) = 101491

wpa_supplicant Supplicant (client) for WPA/802.1x protocols
2.5_2 security search for ports that depend on this port An older version of this port was marked as vulnerable. Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-05-19 22:12:08
License: not specified in port
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/security/wpa_supplicant/ && make install clean
To add the package: pkg install wpa_supplicant

PKGNAME: wpa_supplicant

distinfo:

SHA256 (wpa_supplicant-2.5.tar.gz) = cce55bae483b364eae55c35ba567c279be442ed8bab5b80a3c7fb0d057b9b316
SIZE (wpa_supplicant-2.5.tar.gz) = 2607336

adabrowse HTML generator for Ada 95 library unit specifications
4.0.3_3 textproc search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-06-10 01:34:33
License: GPLv2
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/textproc/adabrowse/ && make install clean
To add the package: pkg install adabrowse

PKGNAME: adabrowse

distinfo:

SHA256 (adabrowse_4.0.3_src.tar.gz) = 4567c66d0d3a75cc9e4938100cc5e51f96901951dc57498d18da45d14f42794c
SIZE (adabrowse_4.0.3_src.tar.gz) = 331990

opentoken Lexical analyser and parser for the Ada language
6.0b_1 textproc search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-30 07:44:28
License: GPLv3 GPLv3RLE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/textproc/opentoken/ && make install clean
To add the package: pkg install opentoken

PKGNAME: opentoken

distinfo:

SHA256 (opentoken-6.0b.tar.bz2) = 785b469fcd8e3a6a69598a6288b50e5de210694ebdd0a38fc853b7392639fca8
SIZE (opentoken-6.0b.tar.bz2) = 237958

py-sphinxcontrib-adadomain Sphinx Adadomain Extension
0.1_3 textproc search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-01 15:25:18
License: BSD2CLAUSE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/textproc/py-sphinxcontrib-adadomain/ && make install clean
To add the package: pkg install py27-sphinxcontrib-adadomain

PKGNAME: py27-sphinxcontrib-adadomain

distinfo:

SHA256 (sphinxcontrib-adadomain-0.1.tar.gz) = 36d232c1f9e941e472b7757960dc3847534e4d5c34551d7870c24360dc60ba93
SIZE (sphinxcontrib-adadomain-0.1.tar.gz) = 7250

templates_parser Web page template engine module for the Ada Web Server
17.0.0 textproc search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-06-10 00:14:42
License: GPLv3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/textproc/templates_parser/ && make install clean
To add the package: pkg install templates_parser

PKGNAME: templates_parser

distinfo:

TIMESTAMP = 1465511680
SHA256 (AdaCore-templates-parser-17.0.0-1d62939_GH0.tar.gz) = fd90fd9a0ac879ab62040abaa1e7cbcbf9261150c081d9ae678e5e31da515f51
SIZE (AdaCore-templates-parser-17.0.0-1d62939_GH0.tar.gz) = 216712

words Latin-English Dictionary Program
1.97F_2 textproc search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-01-12 14:33:21
License: PD
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/textproc/words/ && make install clean
To add the package: pkg install words

PKGNAME: words

distinfo:

SHA256 (wordsall.zip) = 592134d7602879e0937b6f977a6f63aa1d14b813edaf6de04a1d8596a9a2c18e
SIZE (wordsall.zip) = 2879824

xml_ez_out Library for emitting XML from Ada programs
1.06_1 textproc search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-30 07:44:28
License: GPLv2 GMGPL
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/textproc/xml_ez_out/ && make install clean
To add the package: pkg install xml_ez_out

PKGNAME: xml_ez_out

distinfo:

SHA256 (xml_ez_out_1.06.tgz) = 2473caaddfdbd1e75a1b1e2e3b3b77c6641032a78f281af6bdbd229d26e49f61
SIZE (xml_ez_out_1.06.tgz) = 12694

xmlada Adacore XML suite for the Ada language
17.0.0 textproc search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-06-09 14:27:25
License: GPLv3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/textproc/xmlada/ && make install clean
To add the package: pkg install xmlada

PKGNAME: xmlada

distinfo:

TIMESTAMP = 1465390671
SHA256 (AdaCore-xmlada-17.0.0-1184d97_GH0.tar.gz) = a723a5a47f0e3631753e15a4ba199506f32512e87ca3d58c7f22a26e21b39e7c
SIZE (AdaCore-xmlada-17.0.0-1184d97_GH0.tar.gz) = 1031585

aws Adacore Ada Web Server and framework
17.0.0 www search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-06-10 10:50:11
License: GPLv3 GPLv3RLE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/www/aws/ && make install clean
To add the package: pkg install aws

PKGNAME: aws

distinfo:

TIMESTAMP = 1465542815
SHA256 (AdaCore-aws-17.0.0-31d491e_GH0.tar.gz) = ffa837c757164b9f0c7383f43f6e846f19ab80f77ade8ce43d9efc68e6e0b99d
SIZE (AdaCore-aws-17.0.0-31d491e_GH0.tar.gz) = 2079967

aws-demos Adacore Ada Web Server demos
17.0.0 www search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-07-04 11:01:09
License: GPLv3 GPLv3RLE
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/www/aws-demos/ && make install clean
To add the package: pkg install aws-demos

PKGNAME: aws-demos

distinfo:

TIMESTAMP = 1465542815
SHA256 (AdaCore-aws-17.0.0-31d491e_GH0.tar.gz) = ffa837c757164b9f0c7383f43f6e846f19ab80f77ade8ce43d9efc68e6e0b99d
SIZE (AdaCore-aws-17.0.0-31d491e_GH0.tar.gz) = 2079967

gtkada Ada graphical toolkit based on Gtk2+
2.24.4.0_4 x11-toolkits search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-04-30 07:44:28
License: GPLv2
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/x11-toolkits/gtkada/ && make install clean
To add the package: pkg install gtkada

PKGNAME: gtkada

distinfo:

SHA256 (gtkada-2.24.4.0.tar.bz2) = f26715695052218ddcf7dfb9ccd2248376f7239ab757b61e66201df03c56c3e5
SIZE (gtkada-2.24.4.0.tar.bz2) = 2758322
SHA256 (gtkada-rm-2.24.4.0.tar.bz2) = 50456e41ce87a4b795c70f5a2271c43e6ccdeb5dc1b9bd2aef44d0cd56c07855
SIZE (gtkada-rm-2.24.4.0.tar.bz2) = 3009953

gtkada3 Ada graphical toolkit based on Gtk3 components
3.14.2 x11-toolkits search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-06-11 19:41:54
License: GPLv3
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/x11-toolkits/gtkada3/ && make install clean
To add the package: pkg install gtkada3

PKGNAME: gtkada3

distinfo:

TIMESTAMP = 1465560208
SHA256 (AdaCore-gtkada-3.14.2-1688bb8_GH0.tar.gz) = d7876bf5618189d4c318f7f8044a80286c3edf57f77adc2c96be645cafdb2212
SIZE (AdaCore-gtkada-3.14.2-1688bb8_GH0.tar.gz) = 5353366

qtada Ada2005 language bindings to Qt4 framework
3.2.0.0_3 x11-toolkits search for ports that depend on this port Find issues related to this port Report an issue related to this port
Broken BROKEN: New gprbuild detected interface issue with designer example
Deprecated DEPRECATED: No development since 2012, usefulness unclear
Expiration Date EXPIRATION DATE: 2016-09-09
Ignore IGNORE: is marked as broken: New gprbuild detected interface issue with designer example
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2016-06-09 23:20:34
License: GPLv2
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/x11-toolkits/qtada/ && make install clean

A package is not available for ports marked as: Forbidden / Broken / Ignore / Restricted

PKGNAME: qtada

distinfo:

SHA256 (qtada-gpl-3.2.0-20120708-3871.tar.gz) = f6d07d5399bc62717191d1c298b969bf72b4c02c3fed950c07b63978edc5bd63
SIZE (qtada-gpl-3.2.0-20120708-3871.tar.gz) = 3082986

Number of ports: 71
Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
eogAug 22
p5-PathTools*Aug 22
p5-XSLoader*Aug 22
perl5-devel*Aug 22
perl5-devel*Aug 22
perl5-devel*Aug 22
perl5.18*Aug 22
perl5.18*Aug 22
perl5.18*Aug 22
perl5.20*Aug 22
perl5.20*Aug 22
perl5.20*Aug 22
perl5.20*Aug 22
perl5.22*Aug 22
perl5.22*Aug 22

57 vulnerabilities affecting 92 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 26178
Broken 96
Deprecated 144
Ignore 366
Forbidden 0
Restricted 199
No CDROM 83
Vulnerable 65
Expired 16
Set to expire 130
Interactive 0
new 24 hours 14
new 48 hours14
new 7 days27
new fortnight48
new month125

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