Sophie

Sophie

distrib > Fedora > 14 > i386 > by-pkgid > 4a43725df533befa3e222e1e3563f1fb > files

PragmARC-devel-20060427-7.fc14.i686.rpm

Files

drwxr-xr-x 12288 root root /usr/include/pragmarc
-rw-r--r-- 3796 root root /usr/include/pragmarc/pragmarc-ansi_tty_control.ads
-rw-r--r-- 1626 root root /usr/include/pragmarc/pragmarc-assertion_handler.adb
-rw-r--r-- 1700 root root /usr/include/pragmarc/pragmarc-assertion_handler.ads
-rw-r--r-- 1491 root root /usr/include/pragmarc/pragmarc-assignment.adb
-rw-r--r-- 1677 root root /usr/include/pragmarc/pragmarc-assignment.ads
-rw-r--r-- 3178 root root /usr/include/pragmarc/pragmarc-bag_unbounded.adb
-rw-r--r-- 4999 root root /usr/include/pragmarc/pragmarc-bag_unbounded.ads
-rw-r--r-- 4819 root root /usr/include/pragmarc/pragmarc-bag_unbounded_unprotected.adb
-rw-r--r-- 4995 root root /usr/include/pragmarc/pragmarc-bag_unbounded_unprotected.ads
-rw-r--r-- 2936 root root /usr/include/pragmarc/pragmarc-binary_searcher.adb
-rw-r--r-- 3976 root root /usr/include/pragmarc/pragmarc-binary_searcher.ads
-rw-r--r-- 2255 root root /usr/include/pragmarc/pragmarc-binary_semaphore_handler.ads
-rw-r--r-- 2091 root root /usr/include/pragmarc/pragmarc-character_regular_expression_matcher.ads
-rw-r--r-- 4834 root root /usr/include/pragmarc/pragmarc-complex.adb
-rw-r--r-- 2702 root root /usr/include/pragmarc/pragmarc-complex.ads
-rw-r--r-- 10162 root root /usr/include/pragmarc/pragmarc-date_handler.ads
-rw-r--r-- 4364 root root /usr/include/pragmarc/pragmarc-deck_handler.adb
-rw-r--r-- 4822 root root /usr/include/pragmarc/pragmarc-deck_handler.ads
-rw-r--r-- 2103 root root /usr/include/pragmarc/pragmarc-forwarder.adb
-rw-r--r-- 2118 root root /usr/include/pragmarc/pragmarc-forwarder.ads
-rw-r--r-- 5788 root root /usr/include/pragmarc/pragmarc-genetic_algorithm.adb
-rw-r--r-- 3290 root root /usr/include/pragmarc/pragmarc-genetic_algorithm.ads
-rw-r--r-- 1766 root root /usr/include/pragmarc/pragmarc-get_line.ads
-rw-r--r-- 1661 root root /usr/include/pragmarc/pragmarc-hash_fast_variable_length.adb
-rw-r--r-- 4026 root root /usr/include/pragmarc/pragmarc-hash_fast_variable_length.ads
-rw-r--r-- 1385 root root /usr/include/pragmarc/pragmarc-images-image.ads
-rw-r--r-- 4624 root root /usr/include/pragmarc/pragmarc-images.adb
-rw-r--r-- 2570 root root /usr/include/pragmarc/pragmarc-images.ads
-rw-r--r-- 2421 root root /usr/include/pragmarc/pragmarc-least_squares_fitting.adb
-rw-r--r-- 1830 root root /usr/include/pragmarc/pragmarc-least_squares_fitting.ads
-rw-r--r-- 7338 root root /usr/include/pragmarc/pragmarc-linear_equation_solver.adb
-rw-r--r-- 2201 root root /usr/include/pragmarc/pragmarc-linear_equation_solver.ads
-rw-r--r-- 5817 root root /usr/include/pragmarc/pragmarc-list_bounded.adb
-rw-r--r-- 7433 root root /usr/include/pragmarc/pragmarc-list_bounded.ads
-rw-r--r-- 11664 root root /usr/include/pragmarc/pragmarc-list_bounded_unprotected.adb
-rw-r--r-- 7707 root root /usr/include/pragmarc/pragmarc-list_bounded_unprotected.ads
-rw-r--r-- 5975 root root /usr/include/pragmarc/pragmarc-list_unbounded.adb
-rw-r--r-- 7715 root root /usr/include/pragmarc/pragmarc-list_unbounded.ads
-rw-r--r-- 13437 root root /usr/include/pragmarc/pragmarc-list_unbounded_unprotected.adb
-rw-r--r-- 7626 root root /usr/include/pragmarc/pragmarc-list_unbounded_unprotected.ads
-rw-r--r-- 4735 root root /usr/include/pragmarc/pragmarc-math-functions.adb
-rw-r--r-- 4439 root root /usr/include/pragmarc/pragmarc-math-functions.ads
-rw-r--r-- 1800 root root /usr/include/pragmarc/pragmarc-math-integer_functions.ads
-rw-r--r-- 1898 root root /usr/include/pragmarc/pragmarc-math.ads
-rw-r--r-- 11843 root root /usr/include/pragmarc/pragmarc-matrix_math.adb
-rw-r--r-- 5337 root root /usr/include/pragmarc/pragmarc-matrix_math.ads
-rw-r--r-- 5259 root root /usr/include/pragmarc/pragmarc-menu_handler.adb
-rw-r--r-- 2611 root root /usr/include/pragmarc/pragmarc-menu_handler.ads
-rw-r--r-- 1782 root root /usr/include/pragmarc/pragmarc-min_max.adb
-rw-r--r-- 1704 root root /usr/include/pragmarc/pragmarc-min_max.ads
-rw-r--r-- 1654 root root /usr/include/pragmarc/pragmarc-mixed_case.ads
-rw-r--r-- 1714 root root /usr/include/pragmarc/pragmarc-monitor_handler.adb
-rw-r--r-- 2069 root root /usr/include/pragmarc/pragmarc-monitor_handler.ads
-rw-r--r-- 1508 root root /usr/include/pragmarc/pragmarc-postfix_calculator.ads
-rw-r--r-- 1899 root root /usr/include/pragmarc/pragmarc-protected_option.ads
-rw-r--r-- 2936 root root /usr/include/pragmarc/pragmarc-queue_bounded.adb
-rw-r--r-- 4607 root root /usr/include/pragmarc/pragmarc-queue_bounded.ads
-rw-r--r-- 3052 root root /usr/include/pragmarc/pragmarc-queue_bounded_blocking.adb
-rw-r--r-- 4567 root root /usr/include/pragmarc/pragmarc-queue_bounded_blocking.ads
-rw-r--r-- 3767 root root /usr/include/pragmarc/pragmarc-queue_bounded_unprotected.adb
-rw-r--r-- 4661 root root /usr/include/pragmarc/pragmarc-queue_bounded_unprotected.ads
-rw-r--r-- 2909 root root /usr/include/pragmarc/pragmarc-queue_unbounded.adb
-rw-r--r-- 4411 root root /usr/include/pragmarc/pragmarc-queue_unbounded.ads
-rw-r--r-- 2964 root root /usr/include/pragmarc/pragmarc-queue_unbounded_blocking.adb
-rw-r--r-- 4405 root root /usr/include/pragmarc/pragmarc-queue_unbounded_blocking.ads
-rw-r--r-- 4062 root root /usr/include/pragmarc/pragmarc-queue_unbounded_unprotected.adb
-rw-r--r-- 4237 root root /usr/include/pragmarc/pragmarc-queue_unbounded_unprotected.ads
-rw-r--r-- 1914 root root /usr/include/pragmarc/pragmarc-quick_searcher.ads
-rw-r--r-- 2469 root root /usr/include/pragmarc/pragmarc-reflection.ads
-rw-r--r-- 12072 root root /usr/include/pragmarc/pragmarc-regular_expression_matcher.adb
-rw-r--r-- 5409 root root /usr/include/pragmarc/pragmarc-regular_expression_matcher.ads
-rw-r--r-- 27642 root root /usr/include/pragmarc/pragmarc-rem_nn_wrapper.adb
-rw-r--r-- 5649 root root /usr/include/pragmarc/pragmarc-rem_nn_wrapper.ads
-rw-r--r-- 2975 root root /usr/include/pragmarc/pragmarc-safe_pointers.adb
-rw-r--r-- 3012 root root /usr/include/pragmarc/pragmarc-safe_pointers.ads
-rw-r--r-- 3286 root root /usr/include/pragmarc/pragmarc-safe_semaphore_handler.ads
-rw-r--r-- 2487 root root /usr/include/pragmarc/pragmarc-safe_suspension_objects.ads
-rw-r--r-- 3953 root root /usr/include/pragmarc/pragmarc-set_discrete.adb
-rw-r--r-- 4214 root root /usr/include/pragmarc/pragmarc-set_discrete.ads
-rw-r--r-- 2804 root root /usr/include/pragmarc/pragmarc-skip_list_unbounded-put.adb
-rw-r--r-- 1476 root root /usr/include/pragmarc/pragmarc-skip_list_unbounded-put.ads
-rw-r--r-- 9537 root root /usr/include/pragmarc/pragmarc-skip_list_unbounded.adb
-rw-r--r-- 6808 root root /usr/include/pragmarc/pragmarc-skip_list_unbounded.ads
-rw-r--r-- 5170 root root /usr/include/pragmarc/pragmarc-sort_heap.adb
-rw-r--r-- 1746 root root /usr/include/pragmarc/pragmarc-sort_heap.ads
-rw-r--r-- 2182 root root /usr/include/pragmarc/pragmarc-sort_insertion.adb
-rw-r--r-- 1765 root root /usr/include/pragmarc/pragmarc-sort_insertion.ads
-rw-r--r-- 5754 root root /usr/include/pragmarc/pragmarc-sort_quick_in_place.adb
-rw-r--r-- 1852 root root /usr/include/pragmarc/pragmarc-sort_quick_in_place.ads
-rw-r--r-- 2591 root root /usr/include/pragmarc/pragmarc-sort_radix.adb
-rw-r--r-- 1584 root root /usr/include/pragmarc/pragmarc-sort_radix.ads
-rw-r--r-- 2913 root root /usr/include/pragmarc/pragmarc-stack_unbounded.adb
-rw-r--r-- 4424 root root /usr/include/pragmarc/pragmarc-stack_unbounded.ads
-rw-r--r-- 4071 root root /usr/include/pragmarc/pragmarc-stack_unbounded_unprotected.adb
-rw-r--r-- 4237 root root /usr/include/pragmarc/pragmarc-stack_unbounded_unprotected.ads
-rw-r--r-- 1590 root root /usr/include/pragmarc/pragmarc-three_way.adb
-rw-r--r-- 1783 root root /usr/include/pragmarc/pragmarc-three_way.ads
-rw-r--r-- 1503 root root /usr/include/pragmarc/pragmarc-transporter_handler.adb
-rw-r--r-- 2190 root root /usr/include/pragmarc/pragmarc-transporter_handler.ads
-rw-r--r-- 6122 root root /usr/include/pragmarc/pragmarc-universal_random.adb
-rw-r--r-- 3563 root root /usr/include/pragmarc/pragmarc-universal_random.ads
-rw-r--r-- 2451 root root /usr/include/pragmarc/pragmarc-us_card.ads
-rw-r--r-- 1703 root root /usr/include/pragmarc/pragmarc-us_deck.ads
-rw-r--r-- 2667 root root /usr/include/pragmarc/pragmarc-word_input.adb
-rw-r--r-- 2384 root root /usr/include/pragmarc/pragmarc-word_input.ads
-rw-r--r-- 1790 root root /usr/include/pragmarc/pragmarc-wrapping.adb
-rw-r--r-- 1783 root root /usr/include/pragmarc/pragmarc-wrapping.ads
-rw-r--r-- 1870 root root /usr/include/pragmarc/pragmarc.ads
lrwxrwxrwx 23 root root /usr/lib/libpragmarc.so
drwxr-xr-x 4096 root root /usr/lib/pragmarc
-rw-r--r-- 634 root root /usr/lib/gnat/pragmarc.gpr
-r--r--r-- 2712 root root /usr/lib/pragmarc/pragmarc-ansi_tty_control.ali
-r--r--r-- 1463 root root /usr/lib/pragmarc/pragmarc-assertion_handler.ali
-r--r--r-- 1082 root root /usr/lib/pragmarc/pragmarc-assignment.ali
-r--r--r-- 4895 root root /usr/lib/pragmarc/pragmarc-bag_unbounded.ali
-r--r--r-- 6302 root root /usr/lib/pragmarc/pragmarc-bag_unbounded_unprotected.ali
-r--r--r-- 2666 root root /usr/lib/pragmarc/pragmarc-binary_searcher.ali
-r--r--r-- 3353 root root /usr/lib/pragmarc/pragmarc-binary_semaphore_handler.ali
-r--r--r-- 3626 root root /usr/lib/pragmarc/pragmarc-character_regular_expression_matcher.ali
-r--r--r-- 4065 root root /usr/lib/pragmarc/pragmarc-complex.ali
-r--r--r-- 13110 root root /usr/lib/pragmarc/pragmarc-date_handler.ali
-r--r--r-- 4100 root root /usr/lib/pragmarc/pragmarc-deck_handler.ali
-r--r--r-- 1714 root root /usr/lib/pragmarc/pragmarc-forwarder.ali
-r--r--r-- 4811 root root /usr/lib/pragmarc/pragmarc-genetic_algorithm.ali
-r--r--r-- 2565 root root /usr/lib/pragmarc/pragmarc-get_line.ali
-r--r--r-- 1620 root root /usr/lib/pragmarc/pragmarc-hash_fast_variable_length.ali
-r--r--r-- 2841 root root /usr/lib/pragmarc/pragmarc-images-image.ali
-r--r--r-- 5911 root root /usr/lib/pragmarc/pragmarc-images.ali
-r--r--r-- 2546 root root /usr/lib/pragmarc/pragmarc-least_squares_fitting.ali
-r--r--r-- 6969 root root /usr/lib/pragmarc/pragmarc-linear_equation_solver.ali
-r--r--r-- 6305 root root /usr/lib/pragmarc/pragmarc-list_bounded.ali
-r--r--r-- 10278 root root /usr/lib/pragmarc/pragmarc-list_bounded_unprotected.ali
-r--r--r-- 6742 root root /usr/lib/pragmarc/pragmarc-list_unbounded.ali
-r--r--r-- 10264 root root /usr/lib/pragmarc/pragmarc-list_unbounded_unprotected.ali
-r--r--r-- 5000 root root /usr/lib/pragmarc/pragmarc-math-functions.ali
-r--r--r-- 1710 root root /usr/lib/pragmarc/pragmarc-math-integer_functions.ali
-r--r--r-- 1059 root root /usr/lib/pragmarc/pragmarc-math.ali
-r--r--r-- 9892 root root /usr/lib/pragmarc/pragmarc-matrix_math.ali
-r--r--r-- 5798 root root /usr/lib/pragmarc/pragmarc-menu_handler.ali
-r--r--r-- 1397 root root /usr/lib/pragmarc/pragmarc-min_max.ali
-r--r--r-- 1821 root root /usr/lib/pragmarc/pragmarc-mixed_case.ali
-r--r--r-- 1589 root root /usr/lib/pragmarc/pragmarc-monitor_handler.ali
-r--r--r-- 12538 root root /usr/lib/pragmarc/pragmarc-postfix_calculator.ali
-r--r--r-- 2396 root root /usr/lib/pragmarc/pragmarc-protected_option.ali
-r--r--r-- 4209 root root /usr/lib/pragmarc/pragmarc-queue_bounded.ali
-r--r--r-- 4367 root root /usr/lib/pragmarc/pragmarc-queue_bounded_blocking.ali
-r--r--r-- 5171 root root /usr/lib/pragmarc/pragmarc-queue_bounded_unprotected.ali
-r--r--r-- 4233 root root /usr/lib/pragmarc/pragmarc-queue_unbounded.ali
-r--r--r-- 4356 root root /usr/lib/pragmarc/pragmarc-queue_unbounded_blocking.ali
-r--r--r-- 5240 root root /usr/lib/pragmarc/pragmarc-queue_unbounded_unprotected.ali
-r--r--r-- 2069 root root /usr/lib/pragmarc/pragmarc-quick_searcher.ali
-r--r--r-- 1888 root root /usr/lib/pragmarc/pragmarc-reflection.ali
-r--r--r-- 8444 root root /usr/lib/pragmarc/pragmarc-regular_expression_matcher.ali
-r--r--r-- 18217 root root /usr/lib/pragmarc/pragmarc-rem_nn_wrapper.ali
-r--r--r-- 3385 root root /usr/lib/pragmarc/pragmarc-safe_pointers.ali
-r--r--r-- 3598 root root /usr/lib/pragmarc/pragmarc-safe_semaphore_handler.ali
-r--r--r-- 3000 root root /usr/lib/pragmarc/pragmarc-safe_suspension_objects.ali
-r--r--r-- 4758 root root /usr/lib/pragmarc/pragmarc-set_discrete.ali
-r--r--r-- 3537 root root /usr/lib/pragmarc/pragmarc-skip_list_unbounded-put.ali
-r--r--r-- 8538 root root /usr/lib/pragmarc/pragmarc-skip_list_unbounded.ali
-r--r--r-- 3216 root root /usr/lib/pragmarc/pragmarc-sort_heap.ali
-r--r--r-- 1748 root root /usr/lib/pragmarc/pragmarc-sort_insertion.ali
-r--r--r-- 3567 root root /usr/lib/pragmarc/pragmarc-sort_quick_in_place.ali
-r--r--r-- 1686 root root /usr/lib/pragmarc/pragmarc-sort_radix.ali
-r--r--r-- 4235 root root /usr/lib/pragmarc/pragmarc-stack_unbounded.ali
-r--r--r-- 5216 root root /usr/lib/pragmarc/pragmarc-stack_unbounded_unprotected.ali
-r--r--r-- 1414 root root /usr/lib/pragmarc/pragmarc-three_way.ali
-r--r--r-- 1530 root root /usr/lib/pragmarc/pragmarc-transporter_handler.ali
-r--r--r-- 5593 root root /usr/lib/pragmarc/pragmarc-universal_random.ali
-r--r--r-- 2397 root root /usr/lib/pragmarc/pragmarc-us_card.ali
-r--r--r-- 3034 root root /usr/lib/pragmarc/pragmarc-us_deck.ali
-r--r--r-- 3992 root root /usr/lib/pragmarc/pragmarc-word_input.ali
-r--r--r-- 1234 root root /usr/lib/pragmarc/pragmarc-wrapping.ali
-r--r--r-- 802 root root /usr/lib/pragmarc/pragmarc.ali
drwxr-xr-x 4096 root root /usr/share/doc/PragmARC-devel-20060427
drwxr-xr-x 4096 root root /usr/share/doc/PragmARC-devel-20060427/Test
-rw-r--r-- 10486 root root /usr/share/doc/PragmARC-devel-20060427/arc_list.txt
-rw-r--r-- 2878 root root /usr/share/doc/PragmARC-devel-20060427/design.txt
-rw-r--r-- 1348 root root /usr/share/doc/PragmARC-devel-20060427/readme.txt
-rw-r--r-- 1421 root root /usr/share/doc/PragmARC-devel-20060427/Test/assertst.adb
-rw-r--r-- 1856 root root /usr/share/doc/PragmARC-devel-20060427/Test/bag_test.adb
-rw-r--r-- 1372 root root /usr/share/doc/PragmARC-devel-20060427/Test/bag_test_help.adb
-rw-r--r-- 1296 root root /usr/share/doc/PragmARC-devel-20060427/Test/bag_test_help.ads
-rw-r--r-- 2599 root root /usr/share/doc/PragmARC-devel-20060427/Test/bs_test.adb
-rw-r--r-- 1049 root root /usr/share/doc/PragmARC-devel-20060427/Test/calc.adb
-rw-r--r-- 3550 root root /usr/share/doc/PragmARC-devel-20060427/Test/cmplxtst.adb
-rw-r--r-- 1287 root root /usr/share/doc/PragmARC-devel-20060427/Test/datetest.adb
-rw-r--r-- 16360 root root /usr/share/doc/PragmARC-devel-20060427/Test/devil.adb
-rw-r--r-- 14819 root root /usr/share/doc/PragmARC-devel-20060427/Test/devil2.adb
-rw-r--r-- 4055 root root /usr/share/doc/PragmARC-devel-20060427/Test/df_test.adb
-rw-r--r-- 2244 root root /usr/share/doc/PragmARC-devel-20060427/Test/evolve_pi.adb
-rw-r--r-- 1021 root root /usr/share/doc/PragmARC-devel-20060427/Test/gcd_test.adb
-rw-r--r-- 1533 root root /usr/share/doc/PragmARC-devel-20060427/Test/hashtest.adb
-rw-r--r-- 3460 root root /usr/share/doc/PragmARC-devel-20060427/Test/heap_test.adb
-rw-r--r-- 1750 root root /usr/share/doc/PragmARC-devel-20060427/Test/lasgn.adb
-rw-r--r-- 901 root root /usr/share/doc/PragmARC-devel-20060427/Test/lasgn_help.ads
-rw-r--r-- 1910 root root /usr/share/doc/PragmARC-devel-20060427/Test/lb_test.adb
-rw-r--r-- 958 root root /usr/share/doc/PragmARC-devel-20060427/Test/lb_test_help.adb
-rw-r--r-- 1023 root root /usr/share/doc/PragmARC-devel-20060427/Test/lb_test_help.ads
-rw-r--r-- 2600 root root /usr/share/doc/PragmARC-devel-20060427/Test/lin_test.adb
-rw-r--r-- 1630 root root /usr/share/doc/PragmARC-devel-20060427/Test/line_fit_test.adb
-rw-r--r-- 2662 root root /usr/share/doc/PragmARC-devel-20060427/Test/line_fit_test_win_io.adb
-rw-r--r-- 1304 root root /usr/share/doc/PragmARC-devel-20060427/Test/lsort.adb
-rw-r--r-- 1532 root root /usr/share/doc/PragmARC-devel-20060427/Test/lsorthlp.adb
-rw-r--r-- 1493 root root /usr/share/doc/PragmARC-devel-20060427/Test/lsorthlp.ads
-rw-r--r-- 5060 root root /usr/share/doc/PragmARC-devel-20060427/Test/mat_test.adb
-rw-r--r-- 8364 root root /usr/share/doc/PragmARC-devel-20060427/Test/mathtest.adb
-rw-r--r-- 2110 root root /usr/share/doc/PragmARC-devel-20060427/Test/mt.adb
-rw-r--r-- 1573 root root /usr/share/doc/PragmARC-devel-20060427/Test/q_test.adb
-rw-r--r-- 1319 root root /usr/share/doc/PragmARC-devel-20060427/Test/q_test_hlp.ads
-rw-r--r-- 1651 root root /usr/share/doc/PragmARC-devel-20060427/Test/qb_test.adb
-rw-r--r-- 1315 root root /usr/share/doc/PragmARC-devel-20060427/Test/qb_test_hlp.ads
-rw-r--r-- 1637 root root /usr/share/doc/PragmARC-devel-20060427/Test/qs_test.adb
-rw-r--r-- 1446 root root /usr/share/doc/PragmARC-devel-20060427/Test/radix_test.adb
-rw-r--r-- 2023 root root /usr/share/doc/PragmARC-devel-20060427/Test/randtest.adb
-rw-r--r-- 793 root root /usr/share/doc/PragmARC-devel-20060427/Test/reflect_lib_level.ads
-rw-r--r-- 1535 root root /usr/share/doc/PragmARC-devel-20060427/Test/reflect_test.adb
-rw-r--r-- 1175 root root /usr/share/doc/PragmARC-devel-20060427/Test/reflect_tester.adb
-rw-r--r-- 775 root root /usr/share/doc/PragmARC-devel-20060427/Test/reflect_tester.ads
-rw-r--r-- 3235 root root /usr/share/doc/PragmARC-devel-20060427/Test/set_test.adb
-rw-r--r-- 1216 root root /usr/share/doc/PragmARC-devel-20060427/Test/skip_help.ads
-rw-r--r-- 5851 root root /usr/share/doc/PragmARC-devel-20060427/Test/skiptest.adb
-rw-r--r-- 2320 root root /usr/share/doc/PragmARC-devel-20060427/Test/sp_test.adb
-rw-r--r-- 769 root root /usr/share/doc/PragmARC-devel-20060427/Test/sp_test_help.ads
-rw-r--r-- 4440 root root /usr/share/doc/PragmARC-devel-20060427/Test/strm_sub.adb
-rw-r--r-- 3523 root root /usr/share/doc/PragmARC-devel-20060427/Test/test_images.adb
-rw-r--r-- 1888 root root /usr/share/doc/PragmARC-devel-20060427/Test/wrapping_test.adb
-rw-r--r-- 6263 root root /usr/share/doc/PragmARC-devel-20060427/Test/xor_problem.adb