Advertisement
pavelsayekat

sage-8.4 after building with all its source files

Nov 28th, 2018
168
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.61 KB | None | 0 0
  1. sage-8.4 $ ls -la
  2. total 748
  3. drwxr-xr-x 15 pi pi 4096 Nov 27 15:26 .
  4. drwxr-xr-x 40 pi pi 4096 Nov 28 17:37 ..
  5. -rw-r--r-- 1 pi pi 44178 Nov 27 13:17 aclocal.m4
  6. drwxr-xr-x 2 pi pi 4096 Nov 27 15:17 autom4te.cache
  7. -rwxr-xr-x 1 pi pi 4060 Oct 18 05:13 bootstrap
  8. drwxr-xr-x 7 pi pi 4096 Oct 18 05:13 build
  9. -rw-r--r-- 1 pi pi 11 Nov 28 13:26 .BUILDSTART
  10. drwxr-xr-x 2 pi pi 4096 Oct 18 05:13 .ci
  11. drwxr-xr-x 2 pi pi 4096 Oct 18 05:13 .circleci
  12. drwxr-xr-x 2 pi pi 4096 Nov 27 15:17 config
  13. -rw-r--r-- 1 pi pi 90637 Nov 27 15:18 config.log
  14. -rwxr-xr-x 1 pi pi 81382 Nov 27 15:18 config.status
  15. -rwxr-xr-x 1 pi pi 295272 Nov 27 15:17 configure
  16. -rw-r--r-- 1 pi pi 26587 Oct 18 05:13 configure.ac
  17. -rw-r--r-- 1 pi pi 9684 Nov 27 15:18 configure.log
  18. -rw-r--r-- 1 pi pi 66986 Oct 18 05:13 COPYING.txt
  19. -rw-r--r-- 1 pi pi 252 Oct 18 05:13 .dir-locals.el
  20. drwxr-xr-x 3 pi pi 4096 Oct 18 05:13 docker
  21. lrwxrwxrwx 1 pi pi 10 Nov 28 17:37 .dockerignore -> .gitignore
  22. drwxr-xr-x 8 pi pi 4096 Oct 18 05:16 .git
  23. drwxr-xr-x 2 pi pi 4096 Oct 18 05:13 .github
  24. -rw-r--r-- 1 pi pi 1058 Oct 18 05:13 .gitignore
  25. -rw-r--r-- 1 pi pi 6753 Oct 18 05:13 .gitlab-ci.yml
  26. drwxr-xr-x 10 pi pi 4096 Nov 28 14:21 local
  27. drwxr-xr-x 3 pi pi 4096 Nov 28 14:21 logs
  28. drwxr-xr-x 2 pi pi 4096 Oct 18 05:13 m4
  29. -rw-r--r-- 1 pi pi 7284 Oct 18 05:13 Makefile
  30. -rw-r--r-- 1 pi pi 17604 Oct 18 05:13 README.md
  31. -rwxr-xr-x 1 pi pi 4756 Oct 18 05:13 sage
  32. drwxr-xr-x 9 pi pi 4096 Nov 28 00:48 src
  33. drwxr-xr-x 2 pi pi 12288 Oct 18 05:17 upstream
  34. -rw-r--r-- 1 pi pi 47 Oct 18 05:13 VERSION.txt
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement