|Search FreshPorts using Google
|The FreshPorts Search
- 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 |
Number of ports: 1
- hs-Agda Dependently typed functional programming language and proof assistant
- Maintainer: haskell@FreeBSD.org
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
SHA256 (cabal/Agda-22.214.171.124.tar.gz) = bc6def45e32498f51863d67acfbe048c039d630c6a36761ed27e99a5f68d7b27
SIZE (cabal/Agda-126.96.36.199.tar.gz) = 990268
SHA256 (cabal/Primitive.agdai.188.8.131.52) = a5b2353a50256f24c87f20b7892faabc99b9bad8f9b5cc68c24343707c1accf8
SIZE (cabal/Primitive.agdai.184.108.40.206) = 2627
23 vulnerabilities affecting 67 ports have been reported in the past 14 days
* - modified, not new