notbugIf you buy from Amazon USA, please support us by using this link.
Port details
lean Theorem prover
3.4.1 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-07-22 05:59:10
Last Update: 2018-12-25 20:25:40
SVN Revision: 488341
License: APACHE20
Lean is an open source theorem prover and programming language being developed
at Microsoft Research. Lean aims to bridge the gap between interactive and
automated theorem proving, by situating automated tools and methods in a
framework that supports user interaction and the construction of fully specified
axiomatic proofs. The mathematical components library mathlib for Lean is being
developed at Carnegie Mellon University.

WWW: https://leanprover.github.io/
SVNWeb : Homepage : PortsMon
    Pseudo-pkg-plist information, but much better, from make generate-plist
    Expand this list (837 items)
  1. /usr/local/share/licenses/lean-3.4.1/catalog.mk
  2. /usr/local/share/licenses/lean-3.4.1/LICENSE
  3. /usr/local/share/licenses/lean-3.4.1/APACHE20
  4. bin/lean
  5. bin/leanchecker
  6. bin/leanpkg
  7. include/lean.h
  8. include/lean_bool.h
  9. include/lean_decl.h
  10. include/lean_env.h
  11. include/lean_exception.h
  12. include/lean_expr.h
  13. include/lean_ext/api/decl.h
  14. include/lean_ext/api/exception.h
  15. include/lean_ext/api/expr.h
  16. include/lean_ext/api/inductive.h
  17. include/lean_ext/api/ios.h
  18. include/lean_ext/api/lean.h
  19. include/lean_ext/api/lean_bool.h
  20. include/lean_ext/api/lean_decl.h
  21. include/lean_ext/api/lean_env.h
  22. include/lean_ext/api/lean_exception.h
  23. include/lean_ext/api/lean_expr.h
  24. include/lean_ext/api/lean_inductive.h
  25. include/lean_ext/api/lean_ios.h
  26. include/lean_ext/api/lean_macros.h
  27. include/lean_ext/api/lean_module.h
  28. include/lean_ext/api/lean_name.h
  29. include/lean_ext/api/lean_options.h
  30. include/lean_ext/api/lean_parser.h
  31. include/lean_ext/api/lean_string.h
  32. include/lean_ext/api/lean_type_checker.h
  33. include/lean_ext/api/lean_univ.h
  34. include/lean_ext/api/name.h
  35. include/lean_ext/api/options.h
  36. include/lean_ext/api/string.h
  37. include/lean_ext/api/type_checker.h
  38. include/lean_ext/api/univ.h
  39. include/lean_ext/checker/simple_pp.h
  40. include/lean_ext/checker/text_import.h
  41. include/lean_ext/frontends/lean/brackets.h
  42. include/lean_ext/frontends/lean/builtin_cmds.h
  43. include/lean_ext/frontends/lean/builtin_exprs.h
  44. include/lean_ext/frontends/lean/calc.h
  45. include/lean_ext/frontends/lean/cmd_table.h
  46. include/lean_ext/frontends/lean/completion.h
  47. include/lean_ext/frontends/lean/decl_attributes.h
  48. include/lean_ext/frontends/lean/decl_cmds.h
  49. include/lean_ext/frontends/lean/decl_util.h
  50. include/lean_ext/frontends/lean/definition_cmds.h
  51. include/lean_ext/frontends/lean/dependencies.h
  52. include/lean_ext/frontends/lean/elaborator.h
  53. include/lean_ext/frontends/lean/inductive_cmds.h
  54. include/lean_ext/frontends/lean/info_manager.h
  55. include/lean_ext/frontends/lean/init_module.h
  56. include/lean_ext/frontends/lean/interactive.h
  57. include/lean_ext/frontends/lean/json.h
  58. include/lean_ext/frontends/lean/local_context_adapter.h
  59. include/lean_ext/frontends/lean/local_decls.h
  60. include/lean_ext/frontends/lean/local_level_decls.h
  61. include/lean_ext/frontends/lean/match_expr.h
  62. include/lean_ext/frontends/lean/module_parser.h
  63. include/lean_ext/frontends/lean/notation_cmd.h
  64. include/lean_ext/frontends/lean/parse_table.h
  65. include/lean_ext/frontends/lean/parser.h
  66. include/lean_ext/frontends/lean/parser_config.h
  67. include/lean_ext/frontends/lean/parser_pos_provider.h
  68. include/lean_ext/frontends/lean/parser_state.h
  69. include/lean_ext/frontends/lean/pp.h
  70. include/lean_ext/frontends/lean/prenum.h
  71. include/lean_ext/frontends/lean/print_cmd.h
  72. include/lean_ext/frontends/lean/scanner.h
  73. include/lean_ext/frontends/lean/structure_cmd.h
  74. include/lean_ext/frontends/lean/structure_instance.h
  75. include/lean_ext/frontends/lean/tactic_notation.h
  76. include/lean_ext/frontends/lean/token_table.h
  77. include/lean_ext/frontends/lean/tokens.h
  78. include/lean_ext/frontends/lean/type_util.h
  79. include/lean_ext/frontends/lean/user_command.h
  80. include/lean_ext/frontends/lean/user_notation.h
  81. include/lean_ext/frontends/lean/util.h
  82. include/lean_ext/init/init.h
  83. include/lean_ext/kernel/abstract.h
  84. include/lean_ext/kernel/abstract_type_context.h
  85. include/lean_ext/kernel/cache_stack.h
  86. include/lean_ext/kernel/declaration.h
  87. include/lean_ext/kernel/environment.h
  88. include/lean_ext/kernel/equiv_manager.h
  89. include/lean_ext/kernel/error_msgs.h
  90. include/lean_ext/kernel/expr.h
  91. include/lean_ext/kernel/expr_cache.h
  92. include/lean_ext/kernel/expr_eq_fn.h
  93. include/lean_ext/kernel/expr_maps.h
  94. include/lean_ext/kernel/expr_pair.h
  95. include/lean_ext/kernel/expr_sets.h
  96. include/lean_ext/kernel/ext_exception.h
  97. include/lean_ext/kernel/find_fn.h
  98. include/lean_ext/kernel/for_each_fn.h
  99. include/lean_ext/kernel/formatter.h
  100. include/lean_ext/kernel/free_vars.h
  101. include/lean_ext/kernel/inductive/inductive.h
  102. include/lean_ext/kernel/init_module.h
  103. include/lean_ext/kernel/instantiate.h
  104. include/lean_ext/kernel/kernel_exception.h
  105. include/lean_ext/kernel/level.h
  106. include/lean_ext/kernel/normalizer_extension.h
  107. include/lean_ext/kernel/pos_info_provider.h
  108. include/lean_ext/kernel/quotient/quotient.h
  109. include/lean_ext/kernel/replace_fn.h
  110. include/lean_ext/kernel/scope_pos_info_provider.h
  111. include/lean_ext/kernel/standard_kernel.h
  112. include/lean_ext/kernel/type_checker.h
  113. include/lean_ext/library/abstract_context_cache.h
  114. include/lean_ext/library/abstract_parser.h
  115. include/lean_ext/library/ac_match.h
  116. include/lean_ext/library/aliases.h
  117. include/lean_ext/library/annotation.h
  118. include/lean_ext/library/app_builder.h
  119. include/lean_ext/library/arith_instance.h
  120. include/lean_ext/library/attribute_manager.h
  121. include/lean_ext/library/aux_definition.h
  122. include/lean_ext/library/aux_recursors.h
  123. include/lean_ext/library/bin_app.h
  124. include/lean_ext/library/cache_helper.h
  125. include/lean_ext/library/check.h
  126. include/lean_ext/library/choice.h
  127. include/lean_ext/library/class.h
  128. include/lean_ext/library/comp_val.h
  129. include/lean_ext/library/compiler/comp_irrelevant.h
  130. include/lean_ext/library/compiler/compiler_step_visitor.h
  131. include/lean_ext/library/compiler/cse.h
  132. include/lean_ext/library/compiler/elim_recursors.h
  133. include/lean_ext/library/compiler/elim_unused_lets.h
  134. include/lean_ext/library/compiler/erase_irrelevant.h
  135. include/lean_ext/library/compiler/eta_expansion.h
  136. include/lean_ext/library/compiler/extract_values.h
  137. include/lean_ext/library/compiler/init_module.h
  138. include/lean_ext/library/compiler/inliner.h
  139. include/lean_ext/library/compiler/lambda_lifting.h
  140. include/lean_ext/library/compiler/nat_value.h
  141. include/lean_ext/library/compiler/preprocess.h
  142. include/lean_ext/library/compiler/procedure.h
  143. include/lean_ext/library/compiler/rec_fn_macro.h
  144. include/lean_ext/library/compiler/reduce_arity.h
  145. include/lean_ext/library/compiler/simp_inductive.h
  146. include/lean_ext/library/compiler/util.h
  147. include/lean_ext/library/compiler/vm_compiler.h
  148. include/lean_ext/library/congr_lemma.h
  149. include/lean_ext/library/constants.h
  150. include/lean_ext/library/constructions/brec_on.h
  151. include/lean_ext/library/constructions/cases_on.h
  152. include/lean_ext/library/constructions/constructor.h
  153. include/lean_ext/library/constructions/drec.h
  154. include/lean_ext/library/constructions/has_sizeof.h
  155. include/lean_ext/library/constructions/init_module.h
  156. include/lean_ext/library/constructions/injective.h
  157. include/lean_ext/library/constructions/no_confusion.h
  158. include/lean_ext/library/constructions/projection.h
  159. include/lean_ext/library/constructions/rec_on.h
  160. include/lean_ext/library/constructions/util.h
  161. include/lean_ext/library/context_cache.h
  162. include/lean_ext/library/deep_copy.h
  163. include/lean_ext/library/defeq_canonizer.h
  164. include/lean_ext/library/delayed_abstraction.h
  165. include/lean_ext/library/discr_tree.h
  166. include/lean_ext/library/documentation.h
  167. include/lean_ext/library/elab_context.h
  168. include/lean_ext/library/equations_compiler/compiler.h
  169. include/lean_ext/library/equations_compiler/elim_match.h
  170. include/lean_ext/library/equations_compiler/equations.h
  171. include/lean_ext/library/equations_compiler/init_module.h
  172. include/lean_ext/library/equations_compiler/pack_domain.h
  173. include/lean_ext/library/equations_compiler/pack_mutual.h
  174. include/lean_ext/library/equations_compiler/structural_rec.h
  175. include/lean_ext/library/equations_compiler/unbounded_rec.h
  176. include/lean_ext/library/equations_compiler/util.h
  177. include/lean_ext/library/equations_compiler/wf_rec.h
  178. include/lean_ext/library/eval_helper.h
  179. include/lean_ext/library/exception.h
  180. include/lean_ext/library/explicit.h
  181. include/lean_ext/library/export.h
  182. include/lean_ext/library/export_decl.h
  183. include/lean_ext/library/expr_lt.h
  184. include/lean_ext/library/expr_pair.h
  185. include/lean_ext/library/expr_pair_maps.h
  186. include/lean_ext/library/expr_unsigned_map.h
  187. include/lean_ext/library/fingerprint.h
  188. include/lean_ext/library/fun_info.h
  189. include/lean_ext/library/handle.h
  190. include/lean_ext/library/head_map.h
  191. include/lean_ext/library/idx_metavar.h
  192. include/lean_ext/library/inductive_compiler/add_decl.h
  193. include/lean_ext/library/inductive_compiler/basic.h
  194. include/lean_ext/library/inductive_compiler/compiler.h
  195. include/lean_ext/library/inductive_compiler/ginductive.h
  196. include/lean_ext/library/inductive_compiler/ginductive_decl.h
  197. include/lean_ext/library/inductive_compiler/init_module.h
  198. include/lean_ext/library/inductive_compiler/mutual.h
  199. include/lean_ext/library/inductive_compiler/nested.h
  200. include/lean_ext/library/inductive_compiler/util.h
  201. include/lean_ext/library/init_module.h
  202. include/lean_ext/library/inverse.h
  203. include/lean_ext/library/io_state.h
  204. include/lean_ext/library/io_state_stream.h
  205. include/lean_ext/library/kernel_serializer.h
  206. include/lean_ext/library/library_task_builder.h
  207. include/lean_ext/library/local_context.h
  208. include/lean_ext/library/local_instances.h
  209. include/lean_ext/library/locals.h
  210. include/lean_ext/library/max_sharing.h
  211. include/lean_ext/library/message_builder.h
  212. include/lean_ext/library/messages.h
  213. include/lean_ext/library/metavar_context.h
  214. include/lean_ext/library/metavar_util.h
  215. include/lean_ext/library/module.h
  216. include/lean_ext/library/module_mgr.h
  217. include/lean_ext/library/mt_task_queue.h
  218. include/lean_ext/library/native_compiler/cpp_compiler.h
  219. include/lean_ext/library/noncomputable.h
  220. include/lean_ext/library/norm_num.h
  221. include/lean_ext/library/normalize.h
  222. include/lean_ext/library/num.h
  223. include/lean_ext/library/parray.h
  224. include/lean_ext/library/pattern_attribute.h
  225. include/lean_ext/library/persistent_context_cache.h
  226. include/lean_ext/library/phash_map.h
  227. include/lean_ext/library/phashtable.h
  228. include/lean_ext/library/pipe.h
  229. include/lean_ext/library/placeholder.h
  230. include/lean_ext/library/pp_options.h
  231. include/lean_ext/library/print.h
  232. include/lean_ext/library/private.h
  233. include/lean_ext/library/process.h
  234. include/lean_ext/library/profiling.h
  235. include/lean_ext/library/projection.h
  236. include/lean_ext/library/protected.h
  237. include/lean_ext/library/quote.h
  238. include/lean_ext/library/reducible.h
  239. include/lean_ext/library/register_module.h
  240. include/lean_ext/library/relation_manager.h
  241. include/lean_ext/library/replace_visitor.h
  242. include/lean_ext/library/replace_visitor_with_tc.h
  243. include/lean_ext/library/scoped_ext.h
  244. include/lean_ext/library/shared_environment.h
  245. include/lean_ext/library/sorry.h
  246. include/lean_ext/library/st_task_queue.h
  247. include/lean_ext/library/string.h
  248. include/lean_ext/library/tactic/ac_tactics.h
  249. include/lean_ext/library/tactic/algebraic_normalizer.h
  250. include/lean_ext/library/tactic/app_builder_tactics.h
  251. include/lean_ext/library/tactic/apply_tactic.h
  252. include/lean_ext/library/tactic/assert_tactic.h
  253. include/lean_ext/library/tactic/backward/backward_chaining.h
  254. include/lean_ext/library/tactic/backward/backward_lemmas.h
  255. include/lean_ext/library/tactic/backward/init_module.h
  256. include/lean_ext/library/tactic/cases_tactic.h
  257. include/lean_ext/library/tactic/change_tactic.h
  258. include/lean_ext/library/tactic/clear_tactic.h
  259. include/lean_ext/library/tactic/congr_lemma_tactics.h
  260. include/lean_ext/library/tactic/destruct_tactic.h
  261. include/lean_ext/library/tactic/dsimplify.h
  262. include/lean_ext/library/tactic/elaborate.h
  263. include/lean_ext/library/tactic/elaborator_exception.h
  264. include/lean_ext/library/tactic/eqn_lemmas.h
  265. include/lean_ext/library/tactic/eval.h
  266. include/lean_ext/library/tactic/exact_tactic.h
  267. include/lean_ext/library/tactic/fun_info_tactics.h
  268. include/lean_ext/library/tactic/generalize_tactic.h
  269. include/lean_ext/library/tactic/gexpr.h
  270. include/lean_ext/library/tactic/hole_command.h
  271. include/lean_ext/library/tactic/hsubstitution.h
  272. include/lean_ext/library/tactic/induction_tactic.h
  273. include/lean_ext/library/tactic/init_module.h
  274. include/lean_ext/library/tactic/intro_tactic.h
  275. include/lean_ext/library/tactic/kabstract.h
  276. include/lean_ext/library/tactic/match_tactic.h
  277. include/lean_ext/library/tactic/norm_num_tactic.h
  278. include/lean_ext/library/tactic/occurrences.h
  279. include/lean_ext/library/tactic/revert_tactic.h
  280. include/lean_ext/library/tactic/rewrite_tactic.h
  281. include/lean_ext/library/tactic/simp_lemmas.h
  282. include/lean_ext/library/tactic/simp_result.h
  283. include/lean_ext/library/tactic/simp_util.h
  284. include/lean_ext/library/tactic/simplify.h
  285. include/lean_ext/library/tactic/smt/congruence_closure.h
  286. include/lean_ext/library/tactic/smt/congruence_tactics.h
  287. include/lean_ext/library/tactic/smt/ematch.h
  288. include/lean_ext/library/tactic/smt/hinst_lemmas.h
  289. include/lean_ext/library/tactic/smt/init_module.h
  290. include/lean_ext/library/tactic/smt/smt_state.h
  291. include/lean_ext/library/tactic/smt/theory_ac.h
  292. include/lean_ext/library/tactic/smt/util.h
  293. include/lean_ext/library/tactic/subst_tactic.h
  294. include/lean_ext/library/tactic/tactic_evaluator.h
  295. include/lean_ext/library/tactic/tactic_state.h
  296. include/lean_ext/library/tactic/unfold_tactic.h
  297. include/lean_ext/library/tactic/user_attribute.h
  298. include/lean_ext/library/tactic/vm_monitor.h
  299. include/lean_ext/library/time_task.h
  300. include/lean_ext/library/trace.h
  301. include/lean_ext/library/type_context.h
  302. include/lean_ext/library/typed_expr.h
  303. include/lean_ext/library/unfold_macros.h
  304. include/lean_ext/library/unification_hint.h
  305. include/lean_ext/library/unique_id.h
  306. include/lean_ext/library/update_declaration.h
  307. include/lean_ext/library/user_recursors.h
  308. include/lean_ext/library/util.h
  309. include/lean_ext/library/vm/init_module.h
  310. include/lean_ext/library/vm/interaction_state.h
  311. include/lean_ext/library/vm/interaction_state_imp.h
  312. include/lean_ext/library/vm/optimize.h
  313. include/lean_ext/library/vm/vm.h
  314. include/lean_ext/library/vm/vm_array.h
  315. include/lean_ext/library/vm/vm_aux.h
  316. include/lean_ext/library/vm/vm_declaration.h
  317. include/lean_ext/library/vm/vm_environment.h
  318. include/lean_ext/library/vm/vm_exceptional.h
  319. include/lean_ext/library/vm/vm_expr.h
  320. include/lean_ext/library/vm/vm_format.h
  321. include/lean_ext/library/vm/vm_int.h
  322. include/lean_ext/library/vm/vm_io.h
  323. include/lean_ext/library/vm/vm_level.h
  324. include/lean_ext/library/vm/vm_list.h
  325. include/lean_ext/library/vm/vm_name.h
  326. include/lean_ext/library/vm/vm_nat.h
  327. include/lean_ext/library/vm/vm_option.h
  328. include/lean_ext/library/vm/vm_options.h
  329. include/lean_ext/library/vm/vm_ordering.h
  330. include/lean_ext/library/vm/vm_parser.h
  331. include/lean_ext/library/vm/vm_pexpr.h
  332. include/lean_ext/library/vm/vm_pos_info.h
  333. include/lean_ext/library/vm/vm_rb_map.h
  334. include/lean_ext/library/vm/vm_string.h
  335. include/lean_ext/library/vm/vm_task.h
  336. include/lean_ext/shell/lean_js.h
  337. include/lean_ext/shell/leandoc.h
  338. include/lean_ext/shell/server.h
  339. include/lean_ext/shell/simple_pos_info_provider.h
  340. include/lean_ext/tests/util/interval/check.h
  341. include/lean_ext/util/ascii.h
  342. include/lean_ext/util/bit_tricks.h
  343. include/lean_ext/util/bitap_fuzzy_search.h
  344. include/lean_ext/util/buffer.h
  345. include/lean_ext/util/cancellable.h
  346. include/lean_ext/util/compiler_hints.h
  347. include/lean_ext/util/debug.h
  348. include/lean_ext/util/escaped.h
  349. include/lean_ext/util/exception.h
  350. include/lean_ext/util/exception_with_pos.h
  351. include/lean_ext/util/extensible_object.h
  352. include/lean_ext/util/file_lock.h
  353. include/lean_ext/util/flet.h
  354. include/lean_ext/util/freset.h
  355. include/lean_ext/util/fresh_name.h
  356. include/lean_ext/util/hash.h
  357. include/lean_ext/util/init_module.h
  358. include/lean_ext/util/int64.h
  359. include/lean_ext/util/interrupt.h
  360. include/lean_ext/util/lbool.h
  361. include/lean_ext/util/lean_path.h
  362. include/lean_ext/util/list.h
  363. include/lean_ext/util/list_fn.h
  364. include/lean_ext/util/log_tree.h
  365. include/lean_ext/util/lru_cache.h
  366. include/lean_ext/util/macros.h
  367. include/lean_ext/util/map.h
  368. include/lean_ext/util/memory.h
  369. include/lean_ext/util/memory_pool.h
  370. include/lean_ext/util/message_definitions.h
  371. include/lean_ext/util/name.h
  372. include/lean_ext/util/name_generator.h
  373. include/lean_ext/util/name_hash_map.h
  374. include/lean_ext/util/name_hash_set.h
  375. include/lean_ext/util/name_map.h
  376. include/lean_ext/util/name_set.h
  377. include/lean_ext/util/null_ostream.h
  378. include/lean_ext/util/numerics/double.h
  379. include/lean_ext/util/numerics/float.h
  380. include/lean_ext/util/numerics/gcd.h
  381. include/lean_ext/util/numerics/init_module.h
  382. include/lean_ext/util/numerics/mpbq.h
  383. include/lean_ext/util/numerics/mpq.h
  384. include/lean_ext/util/numerics/mpz.h
  385. include/lean_ext/util/numerics/numeric_traits.h
  386. include/lean_ext/util/numerics/power.h
  387. include/lean_ext/util/numerics/primes.h
  388. include/lean_ext/util/numerics/register_module.h
  389. include/lean_ext/util/numerics/remainder.h
  390. include/lean_ext/util/numerics/xnumeral.h
  391. include/lean_ext/util/numerics/zpz.h
  392. include/lean_ext/util/object_serializer.h
  393. include/lean_ext/util/optional.h
  394. include/lean_ext/util/output_channel.h
  395. include/lean_ext/util/pair.h
  396. include/lean_ext/util/parser_exception.h
  397. include/lean_ext/util/path.h
  398. include/lean_ext/util/polynomial/polynomial.h
  399. include/lean_ext/util/priority_queue.h
  400. include/lean_ext/util/rb_map.h
  401. include/lean_ext/util/rb_multi_map.h
  402. include/lean_ext/util/rb_tree.h
  403. include/lean_ext/util/rc.h
  404. include/lean_ext/util/safe_arith.h
  405. include/lean_ext/util/scoped_map.h
  406. include/lean_ext/util/scoped_set.h
  407. include/lean_ext/util/sequence.h
  408. include/lean_ext/util/serializer.h
  409. include/lean_ext/util/sexpr/format.h
  410. include/lean_ext/util/sexpr/init_module.h
  411. include/lean_ext/util/sexpr/option_declarations.h
  412. include/lean_ext/util/sexpr/options.h
  413. include/lean_ext/util/sexpr/register_module.h
  414. include/lean_ext/util/sexpr/sexpr.h
  415. include/lean_ext/util/sexpr/sexpr_fn.h
  416. include/lean_ext/util/shared_mutex.h
  417. include/lean_ext/util/small_object_allocator.h
  418. include/lean_ext/util/sstream.h
  419. include/lean_ext/util/stackinfo.h
  420. include/lean_ext/util/subscripted_name_set.h
  421. include/lean_ext/util/task.h
  422. include/lean_ext/util/task_builder.h
  423. include/lean_ext/util/test.h
  424. include/lean_ext/util/thread.h
  425. include/lean_ext/util/timeit.h
  426. include/lean_ext/util/timer.h
  427. include/lean_ext/util/trie.h
  428. include/lean_ext/util/unit.h
  429. include/lean_ext/util/unlock_guard.h
  430. include/lean_ext/util/utf8.h
  431. include/lean_ext/util/worker_queue.h
  432. include/lean_inductive.h
  433. include/lean_ios.h
  434. include/lean_macros.h
  435. include/lean_module.h
  436. include/lean_name.h
  437. include/lean_options.h
  438. include/lean_parser.h
  439. include/lean_string.h
  440. include/lean_type_checker.h
  441. include/lean_univ.h
  442. lib/lean/leanpkg/README.md
  443. lib/lean/leanpkg/leanpkg.toml
  444. lib/lean/leanpkg/leanpkg/git.lean
  445. lib/lean/leanpkg/leanpkg/git.olean
  446. lib/lean/leanpkg/leanpkg/lean_version.lean
  447. lib/lean/leanpkg/leanpkg/lean_version.olean
  448. lib/lean/leanpkg/leanpkg/main.lean
  449. lib/lean/leanpkg/leanpkg/main.olean
  450. lib/lean/leanpkg/leanpkg/manifest.lean
  451. lib/lean/leanpkg/leanpkg/manifest.olean
  452. lib/lean/leanpkg/leanpkg/proc.lean
  453. lib/lean/leanpkg/leanpkg/proc.olean
  454. lib/lean/leanpkg/leanpkg/resolve.lean
  455. lib/lean/leanpkg/leanpkg/resolve.olean
  456. lib/lean/leanpkg/leanpkg/toml.lean
  457. lib/lean/leanpkg/leanpkg/toml.olean
  458. lib/lean/library/data/bitvec.lean
  459. lib/lean/library/data/bitvec.olean
  460. lib/lean/library/data/buffer.lean
  461. lib/lean/library/data/buffer.olean
  462. lib/lean/library/data/buffer/parser.lean
  463. lib/lean/library/data/buffer/parser.olean
  464. lib/lean/library/data/dlist.lean
  465. lib/lean/library/data/dlist.olean
  466. lib/lean/library/data/lazy_list.lean
  467. lib/lean/library/data/lazy_list.olean
  468. lib/lean/library/data/rbmap/default.lean
  469. lib/lean/library/data/rbmap/default.olean
  470. lib/lean/library/data/rbtree/basic.lean
  471. lib/lean/library/data/rbtree/basic.olean
  472. lib/lean/library/data/rbtree/default.lean
  473. lib/lean/library/data/rbtree/default.olean
  474. lib/lean/library/data/rbtree/find.lean
  475. lib/lean/library/data/rbtree/find.olean
  476. lib/lean/library/data/rbtree/insert.lean
  477. lib/lean/library/data/rbtree/insert.olean
  478. lib/lean/library/data/rbtree/main.lean
  479. lib/lean/library/data/rbtree/main.olean
  480. lib/lean/library/data/rbtree/min_max.lean
  481. lib/lean/library/data/rbtree/min_max.olean
  482. lib/lean/library/data/stream.lean
  483. lib/lean/library/data/stream.olean
  484. lib/lean/library/data/vector.lean
  485. lib/lean/library/data/vector.olean
  486. lib/lean/library/init/algebra/classes.lean
  487. lib/lean/library/init/algebra/classes.olean
  488. lib/lean/library/init/algebra/default.lean
  489. lib/lean/library/init/algebra/default.olean
  490. lib/lean/library/init/algebra/field.lean
  491. lib/lean/library/init/algebra/field.olean
  492. lib/lean/library/init/algebra/functions.lean
  493. lib/lean/library/init/algebra/functions.olean
  494. lib/lean/library/init/algebra/group.lean
  495. lib/lean/library/init/algebra/group.olean
  496. lib/lean/library/init/algebra/norm_num.lean
  497. lib/lean/library/init/algebra/norm_num.olean
  498. lib/lean/library/init/algebra/order.lean
  499. lib/lean/library/init/algebra/order.olean
  500. lib/lean/library/init/algebra/ordered_field.lean
  501. lib/lean/library/init/algebra/ordered_field.olean
  502. lib/lean/library/init/algebra/ordered_group.lean
  503. lib/lean/library/init/algebra/ordered_group.olean
  504. lib/lean/library/init/algebra/ordered_ring.lean
  505. lib/lean/library/init/algebra/ordered_ring.olean
  506. lib/lean/library/init/algebra/ring.lean
  507. lib/lean/library/init/algebra/ring.olean
  508. lib/lean/library/init/category/alternative.lean
  509. lib/lean/library/init/category/alternative.olean
  510. lib/lean/library/init/category/applicative.lean
  511. lib/lean/library/init/category/applicative.olean
  512. lib/lean/library/init/category/combinators.lean
  513. lib/lean/library/init/category/combinators.olean
  514. lib/lean/library/init/category/default.lean
  515. lib/lean/library/init/category/default.olean
  516. lib/lean/library/init/category/except.lean
  517. lib/lean/library/init/category/except.olean
  518. lib/lean/library/init/category/functor.lean
  519. lib/lean/library/init/category/functor.olean
  520. lib/lean/library/init/category/id.lean
  521. lib/lean/library/init/category/id.olean
  522. lib/lean/library/init/category/lawful.lean
  523. lib/lean/library/init/category/lawful.olean
  524. lib/lean/library/init/category/lift.lean
  525. lib/lean/library/init/category/lift.olean
  526. lib/lean/library/init/category/monad.lean
  527. lib/lean/library/init/category/monad.olean
  528. lib/lean/library/init/category/monad_fail.lean
  529. lib/lean/library/init/category/monad_fail.olean
  530. lib/lean/library/init/category/option.lean
  531. lib/lean/library/init/category/option.olean
  532. lib/lean/library/init/category/reader.lean
  533. lib/lean/library/init/category/reader.olean
  534. lib/lean/library/init/category/state.lean
  535. lib/lean/library/init/category/state.olean
  536. lib/lean/library/init/cc_lemmas.lean
  537. lib/lean/library/init/cc_lemmas.olean
  538. lib/lean/library/init/classical.lean
  539. lib/lean/library/init/classical.olean
  540. lib/lean/library/init/coe.lean
  541. lib/lean/library/init/coe.olean
  542. lib/lean/library/init/core.lean
  543. lib/lean/library/init/core.olean
  544. lib/lean/library/init/data/array/basic.lean
  545. lib/lean/library/init/data/array/basic.olean
  546. lib/lean/library/init/data/array/default.lean
  547. lib/lean/library/init/data/array/default.olean
  548. lib/lean/library/init/data/array/slice.lean
  549. lib/lean/library/init/data/array/slice.olean
  550. lib/lean/library/init/data/basic.lean
  551. lib/lean/library/init/data/basic.olean
  552. lib/lean/library/init/data/bool/basic.lean
  553. lib/lean/library/init/data/bool/basic.olean
  554. lib/lean/library/init/data/bool/default.lean
  555. lib/lean/library/init/data/bool/default.olean
  556. lib/lean/library/init/data/bool/lemmas.lean
  557. lib/lean/library/init/data/bool/lemmas.olean
  558. lib/lean/library/init/data/char/basic.lean
  559. lib/lean/library/init/data/char/basic.olean
  560. lib/lean/library/init/data/char/classes.lean
  561. lib/lean/library/init/data/char/classes.olean
  562. lib/lean/library/init/data/char/default.lean
  563. lib/lean/library/init/data/char/default.olean
  564. lib/lean/library/init/data/char/lemmas.lean
  565. lib/lean/library/init/data/char/lemmas.olean
  566. lib/lean/library/init/data/default.lean
  567. lib/lean/library/init/data/default.olean
  568. lib/lean/library/init/data/fin/basic.lean
  569. lib/lean/library/init/data/fin/basic.olean
  570. lib/lean/library/init/data/fin/default.lean
  571. lib/lean/library/init/data/fin/default.olean
  572. lib/lean/library/init/data/fin/ops.lean
  573. lib/lean/library/init/data/fin/ops.olean
  574. lib/lean/library/init/data/int/basic.lean
  575. lib/lean/library/init/data/int/basic.olean
  576. lib/lean/library/init/data/int/bitwise.lean
  577. lib/lean/library/init/data/int/bitwise.olean
  578. lib/lean/library/init/data/int/comp_lemmas.lean
  579. lib/lean/library/init/data/int/comp_lemmas.olean
  580. lib/lean/library/init/data/int/default.lean
  581. lib/lean/library/init/data/int/default.olean
  582. lib/lean/library/init/data/int/order.lean
  583. lib/lean/library/init/data/int/order.olean
  584. lib/lean/library/init/data/list/basic.lean
  585. lib/lean/library/init/data/list/basic.olean
  586. lib/lean/library/init/data/list/default.lean
  587. lib/lean/library/init/data/list/default.olean
  588. lib/lean/library/init/data/list/instances.lean
  589. lib/lean/library/init/data/list/instances.olean
  590. lib/lean/library/init/data/list/lemmas.lean
  591. lib/lean/library/init/data/list/lemmas.olean
  592. lib/lean/library/init/data/list/qsort.lean
  593. lib/lean/library/init/data/list/qsort.olean
  594. lib/lean/library/init/data/nat/basic.lean
  595. lib/lean/library/init/data/nat/basic.olean
  596. lib/lean/library/init/data/nat/bitwise.lean
  597. lib/lean/library/init/data/nat/bitwise.olean
  598. lib/lean/library/init/data/nat/default.lean
  599. lib/lean/library/init/data/nat/default.olean
  600. lib/lean/library/init/data/nat/div.lean
  601. lib/lean/library/init/data/nat/div.olean
  602. lib/lean/library/init/data/nat/gcd.lean
  603. lib/lean/library/init/data/nat/gcd.olean
  604. lib/lean/library/init/data/nat/lemmas.lean
  605. lib/lean/library/init/data/nat/lemmas.olean
  606. lib/lean/library/init/data/option/basic.lean
  607. lib/lean/library/init/data/option/basic.olean
  608. lib/lean/library/init/data/option/instances.lean
  609. lib/lean/library/init/data/option/instances.olean
  610. lib/lean/library/init/data/ordering/basic.lean
  611. lib/lean/library/init/data/ordering/basic.olean
  612. lib/lean/library/init/data/ordering/default.lean
  613. lib/lean/library/init/data/ordering/default.olean
  614. lib/lean/library/init/data/ordering/lemmas.lean
  615. lib/lean/library/init/data/ordering/lemmas.olean
  616. lib/lean/library/init/data/prod.lean
  617. lib/lean/library/init/data/prod.olean
  618. lib/lean/library/init/data/punit.lean
  619. lib/lean/library/init/data/punit.olean
  620. lib/lean/library/init/data/quot.lean
  621. lib/lean/library/init/data/quot.olean
  622. lib/lean/library/init/data/rbmap/basic.lean
  623. lib/lean/library/init/data/rbmap/basic.olean
  624. lib/lean/library/init/data/rbmap/default.lean
  625. lib/lean/library/init/data/rbmap/default.olean
  626. lib/lean/library/init/data/rbtree/basic.lean
  627. lib/lean/library/init/data/rbtree/basic.olean
  628. lib/lean/library/init/data/rbtree/default.lean
  629. lib/lean/library/init/data/rbtree/default.olean
  630. lib/lean/library/init/data/repr.lean
  631. lib/lean/library/init/data/repr.olean
  632. lib/lean/library/init/data/set.lean
  633. lib/lean/library/init/data/set.olean
  634. lib/lean/library/init/data/setoid.lean
  635. lib/lean/library/init/data/setoid.olean
  636. lib/lean/library/init/data/sigma/basic.lean
  637. lib/lean/library/init/data/sigma/basic.olean
  638. lib/lean/library/init/data/sigma/default.lean
  639. lib/lean/library/init/data/sigma/default.olean
  640. lib/lean/library/init/data/sigma/lex.lean
  641. lib/lean/library/init/data/sigma/lex.olean
  642. lib/lean/library/init/data/string/basic.lean
  643. lib/lean/library/init/data/string/basic.olean
  644. lib/lean/library/init/data/string/default.lean
  645. lib/lean/library/init/data/string/default.olean
  646. lib/lean/library/init/data/string/instances.lean
  647. lib/lean/library/init/data/string/instances.olean
  648. lib/lean/library/init/data/string/ops.lean
  649. lib/lean/library/init/data/string/ops.olean
  650. lib/lean/library/init/data/subtype/basic.lean
  651. lib/lean/library/init/data/subtype/basic.olean
  652. lib/lean/library/init/data/subtype/default.lean
  653. lib/lean/library/init/data/subtype/default.olean
  654. lib/lean/library/init/data/subtype/instances.lean
  655. lib/lean/library/init/data/subtype/instances.olean
  656. lib/lean/library/init/data/sum/basic.lean
  657. lib/lean/library/init/data/sum/basic.olean
  658. lib/lean/library/init/data/sum/default.lean
  659. lib/lean/library/init/data/sum/default.olean
  660. lib/lean/library/init/data/sum/instances.lean
  661. lib/lean/library/init/data/sum/instances.olean
  662. lib/lean/library/init/data/to_string.lean
  663. lib/lean/library/init/data/to_string.olean
  664. lib/lean/library/init/data/unsigned/basic.lean
  665. lib/lean/library/init/data/unsigned/basic.olean
  666. lib/lean/library/init/data/unsigned/default.lean
  667. lib/lean/library/init/data/unsigned/default.olean
  668. lib/lean/library/init/data/unsigned/ops.lean
  669. lib/lean/library/init/data/unsigned/ops.olean
  670. lib/lean/library/init/default.lean
  671. lib/lean/library/init/default.olean
  672. lib/lean/library/init/function.lean
  673. lib/lean/library/init/function.olean
  674. lib/lean/library/init/funext.lean
  675. lib/lean/library/init/funext.olean
  676. lib/lean/library/init/init.md
  677. lib/lean/library/init/ite_simp.lean
  678. lib/lean/library/init/ite_simp.olean
  679. lib/lean/library/init/logic.lean
  680. lib/lean/library/init/logic.olean
  681. lib/lean/library/init/meta/ac_tactics.lean
  682. lib/lean/library/init/meta/ac_tactics.olean
  683. lib/lean/library/init/meta/async_tactic.lean
  684. lib/lean/library/init/meta/async_tactic.olean
  685. lib/lean/library/init/meta/attribute.lean
  686. lib/lean/library/init/meta/attribute.olean
  687. lib/lean/library/init/meta/backward.lean
  688. lib/lean/library/init/meta/backward.olean
  689. lib/lean/library/init/meta/coinductive_predicates.lean
  690. lib/lean/library/init/meta/coinductive_predicates.olean
  691. lib/lean/library/init/meta/comp_value_tactics.lean
  692. lib/lean/library/init/meta/comp_value_tactics.olean
  693. lib/lean/library/init/meta/congr_lemma.lean
  694. lib/lean/library/init/meta/congr_lemma.olean
  695. lib/lean/library/init/meta/congr_tactic.lean
  696. lib/lean/library/init/meta/congr_tactic.olean
  697. lib/lean/library/init/meta/constructor_tactic.lean
  698. lib/lean/library/init/meta/constructor_tactic.olean
  699. lib/lean/library/init/meta/contradiction_tactic.lean
  700. lib/lean/library/init/meta/contradiction_tactic.olean
  701. lib/lean/library/init/meta/converter/conv.lean
  702. lib/lean/library/init/meta/converter/conv.olean
  703. lib/lean/library/init/meta/converter/default.lean
  704. lib/lean/library/init/meta/converter/default.olean
  705. lib/lean/library/init/meta/converter/interactive.lean
  706. lib/lean/library/init/meta/converter/interactive.olean
  707. lib/lean/library/init/meta/decl_cmds.lean
  708. lib/lean/library/init/meta/decl_cmds.olean
  709. lib/lean/library/init/meta/declaration.lean
  710. lib/lean/library/init/meta/declaration.olean
  711. lib/lean/library/init/meta/default.lean
  712. lib/lean/library/init/meta/default.olean
  713. lib/lean/library/init/meta/derive.lean
  714. lib/lean/library/init/meta/derive.olean
  715. lib/lean/library/init/meta/environment.lean
  716. lib/lean/library/init/meta/environment.olean
  717. lib/lean/library/init/meta/exceptional.lean
  718. lib/lean/library/init/meta/exceptional.olean
  719. lib/lean/library/init/meta/expr.lean
  720. lib/lean/library/init/meta/expr.olean
  721. lib/lean/library/init/meta/format.lean
  722. lib/lean/library/init/meta/format.olean
  723. lib/lean/library/init/meta/fun_info.lean
  724. lib/lean/library/init/meta/fun_info.olean
  725. lib/lean/library/init/meta/has_reflect.lean
  726. lib/lean/library/init/meta/has_reflect.olean
  727. lib/lean/library/init/meta/hole_command.lean
  728. lib/lean/library/init/meta/hole_command.olean
  729. lib/lean/library/init/meta/injection_tactic.lean
  730. lib/lean/library/init/meta/injection_tactic.olean
  731. lib/lean/library/init/meta/interaction_monad.lean
  732. lib/lean/library/init/meta/interaction_monad.olean
  733. lib/lean/library/init/meta/interactive.lean
  734. lib/lean/library/init/meta/interactive.olean
  735. lib/lean/library/init/meta/interactive_base.lean
  736. lib/lean/library/init/meta/interactive_base.olean
  737. lib/lean/library/init/meta/lean/parser.lean
  738. lib/lean/library/init/meta/lean/parser.olean
  739. lib/lean/library/init/meta/level.lean
  740. lib/lean/library/init/meta/level.olean
  741. lib/lean/library/init/meta/match_tactic.lean
  742. lib/lean/library/init/meta/match_tactic.olean
  743. lib/lean/library/init/meta/mk_dec_eq_instance.lean
  744. lib/lean/library/init/meta/mk_dec_eq_instance.olean
  745. lib/lean/library/init/meta/mk_has_reflect_instance.lean
  746. lib/lean/library/init/meta/mk_has_reflect_instance.olean
  747. lib/lean/library/init/meta/mk_has_sizeof_instance.lean
  748. lib/lean/library/init/meta/mk_has_sizeof_instance.olean
  749. lib/lean/library/init/meta/mk_inhabited_instance.lean
  750. lib/lean/library/init/meta/mk_inhabited_instance.olean
  751. lib/lean/library/init/meta/name.lean
  752. lib/lean/library/init/meta/name.olean
  753. lib/lean/library/init/meta/occurrences.lean
  754. lib/lean/library/init/meta/occurrences.olean
  755. lib/lean/library/init/meta/options.lean
  756. lib/lean/library/init/meta/options.olean
  757. lib/lean/library/init/meta/pexpr.lean
  758. lib/lean/library/init/meta/pexpr.olean
  759. lib/lean/library/init/meta/rb_map.lean
  760. lib/lean/library/init/meta/rb_map.olean
  761. lib/lean/library/init/meta/rec_util.lean
  762. lib/lean/library/init/meta/rec_util.olean
  763. lib/lean/library/init/meta/ref.lean
  764. lib/lean/library/init/meta/ref.olean
  765. lib/lean/library/init/meta/relation_tactics.lean
  766. lib/lean/library/init/meta/relation_tactics.olean
  767. lib/lean/library/init/meta/rewrite_tactic.lean
  768. lib/lean/library/init/meta/rewrite_tactic.olean
  769. lib/lean/library/init/meta/set_get_option_tactics.lean
  770. lib/lean/library/init/meta/set_get_option_tactics.olean
  771. lib/lean/library/init/meta/simp_tactic.lean
  772. lib/lean/library/init/meta/simp_tactic.olean
  773. lib/lean/library/init/meta/smt/congruence_closure.lean
  774. lib/lean/library/init/meta/smt/congruence_closure.olean
  775. lib/lean/library/init/meta/smt/default.lean
  776. lib/lean/library/init/meta/smt/default.olean
  777. lib/lean/library/init/meta/smt/ematch.lean
  778. lib/lean/library/init/meta/smt/ematch.olean
  779. lib/lean/library/init/meta/smt/interactive.lean
  780. lib/lean/library/init/meta/smt/interactive.olean
  781. lib/lean/library/init/meta/smt/rsimp.lean
  782. lib/lean/library/init/meta/smt/rsimp.olean
  783. lib/lean/library/init/meta/smt/smt_tactic.lean
  784. lib/lean/library/init/meta/smt/smt_tactic.olean
  785. lib/lean/library/init/meta/tactic.lean
  786. lib/lean/library/init/meta/tactic.olean
  787. lib/lean/library/init/meta/task.lean
  788. lib/lean/library/init/meta/task.olean
  789. lib/lean/library/init/meta/transfer.lean
  790. lib/lean/library/init/meta/transfer.olean
  791. lib/lean/library/init/meta/vm.lean
  792. lib/lean/library/init/meta/vm.olean
  793. lib/lean/library/init/meta/well_founded_tactics.lean
  794. lib/lean/library/init/meta/well_founded_tactics.olean
  795. lib/lean/library/init/propext.lean
  796. lib/lean/library/init/propext.olean
  797. lib/lean/library/init/relator.lean
  798. lib/lean/library/init/relator.olean
  799. lib/lean/library/init/util.lean
  800. lib/lean/library/init/util.olean
  801. lib/lean/library/init/version.lean
  802. lib/lean/library/init/version.olean
  803. lib/lean/library/init/wf.lean
  804. lib/lean/library/init/wf.olean
  805. lib/lean/library/library.md
  806. lib/lean/library/smt/arith.lean
  807. lib/lean/library/smt/arith.olean
  808. lib/lean/library/smt/array.lean
  809. lib/lean/library/smt/array.olean
  810. lib/lean/library/smt/default.lean
  811. lib/lean/library/smt/default.olean
  812. lib/lean/library/smt/prove.lean
  813. lib/lean/library/smt/prove.olean
  814. lib/lean/library/system/io.lean
  815. lib/lean/library/system/io.olean
  816. lib/lean/library/system/io_interface.lean
  817. lib/lean/library/system/io_interface.olean
  818. lib/lean/library/system/random.lean
  819. lib/lean/library/system/random.olean
  820. lib/lean/library/tools/debugger/cli.lean
  821. lib/lean/library/tools/debugger/cli.olean
  822. lib/lean/library/tools/debugger/default.lean
  823. lib/lean/library/tools/debugger/default.olean
  824. lib/lean/library/tools/debugger/util.lean
  825. lib/lean/library/tools/debugger/util.olean
  826. lib/libleanshared.so
  827. lib/libleanstatic.a
  828. @dir include/lean_ext/cmake/Modules
  829. @dir include/lean_ext/shared
  830. @dir include/lean_ext/tests/frontends/lean
  831. @dir include/lean_ext/tests/kernel
  832. @dir include/lean_ext/tests/library/rewriter
  833. @dir include/lean_ext/tests/shared
  834. @dir include/lean_ext/tests/shell
  835. @dir include/lean_ext/tests/util/numerics
  836. @postexec /usr/sbin/service ldconfig restart > /dev/null
  837. @postunexec /usr/sbin/service ldconfig restart > /dev/null
  838. Collapse this list.

Dependency line: lean>0:math/lean


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

PKGNAME: lean

There is no flavor information for this port.

distinfo:

TIMESTAMP = 1532330618
SHA256 (leanprover-lean-v3.4.1_GH0.tar.gz) = c146385e75ae8fbd88732d4443400123288bfea885c35c213efaba78b655d320
SIZE (leanprover-lean-v3.4.1_GH0.tar.gz) = 1816434


NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. cmake : devel/cmake
  2. ninja : devel/ninja
Library dependencies:
  1. libgmp.so : math/gmp
There are no ports dependent upon this port

Configuration Options
     No options to configure

USES:
cmake

Master Sites:
  1. https://codeload.github.com/leanprover/lean/tar.gz/v3.4.1?dummy=/

Number of commits found: 4

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
25 Dec 2018 20:25:40
Original commit files touched by this commit  3.4.1
Revision:488341
tcberner search for other commits by this committer
Change cmake default behaviour to outsource.

Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".

I tried to only set insource where explictely needed.

PR:		232038
Exp-run by:	antoine
25 Jul 2018 20:16:37
Original commit files touched by this commit  3.4.1
Revision:475334
yuri search for other commits by this committer
math/lean: Add the PORTSCOUT line.

Avoid picking undesirable tags.
23 Jul 2018 07:49:06
Original commit files touched by this commit  3.4.1
Revision:475152
yuri search for other commits by this committer
math/lean: Update 3.2.0-1147 -> 3.4.1 (move to a more recent repository)
22 Jul 2018 05:58:39
Original commit files touched by this commit  3.2.0.1147
Revision:475085
yuri search for other commits by this committer
New port: math/lean: Theorem prover

Number of commits found: 4

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
jenkinsJan 16
jenkins-ltsJan 16
py-matrix-synapseJan 15
irssiJan 10
giteaJan 06
uriparserJan 06
chromiumJan 05
chromiumJan 05
openjpeg*Jan 05
py-django111Jan 05
py-django20Jan 05
py-django21Jan 05
gitlab-ceJan 02
rpm4Dec 26
gitlab-ceDec 22

10 vulnerabilities affecting 54 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-01-16 17:44:00


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 35984
Broken 115
Deprecated 412
Ignore 328
Forbidden 3
Restricted 162
No CDROM 74
Vulnerable 33
Expired 5
Set to expire 385
Interactive 0
new 24 hours 2
new 48 hours7
new 7 days28
new fortnight80
new month152

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