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
Branch:

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: 1
hs-Agda Dependently typed functional programming language and proof assistant
2.4.2.3 math search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: haskell@FreeBSD.org search for ports maintained by this maintainer
Last commit date: 2015-08-21 00:02:17
License: not specified in port
SVNWeb : Homepage : PortsMon

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

PKGNAME: hs-Agda

distinfo:

SHA256 (cabal/Agda-2.4.2.3.tar.gz) = bc6def45e32498f51863d67acfbe048c039d630c6a36761ed27e99a5f68d7b27
SIZE (cabal/Agda-2.4.2.3.tar.gz) = 990268
SHA256 (cabal/Primitive.agdai.2.4.2.3) = a5b2353a50256f24c87f20b7892faabc99b9bad8f9b5cc68c24343707c1accf8
SIZE (cabal/Primitive.agdai.2.4.2.3) = 2627

Number of ports: 1
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
qemuDec 04
qemu-develDec 04
qemu-sbrunoDec 04
xen-kernelDec 04
xen-kernelDec 04
xen-kernelDec 04
xen-kernelDec 04
xen-kernelDec 04
xen-kernelDec 04
xen-kernelDec 04
xen-kernelDec 04
xen-kernelDec 04
xen-toolsDec 04
xen-toolsDec 04
firefoxDec 01

30 vulnerabilities affecting 64 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 26918
Broken 313
Deprecated 147
Ignore 578
Forbidden 1
Restricted 213
No CDROM 82
Vulnerable 56
Expired 9
Set to expire 126
Interactive 0
new 24 hours 3
new 48 hours9
new 7 days48
new fortnight106
new month264

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